diff erlang/erldc/Makefile @ 50:edf5c85de5ac

put pyi next to so for mypy to pick it up, directly
author Tassilo Philipp
date Sat, 14 Nov 2020 21:18:09 +0100
parents 3abd4f1ab473
children
line wrap: on
line diff