Stefan pushed to branch master at Stefan / Typer

Commits: 7b2de3d5 by Stefan Monnier at 2016-02-14T16:03:18-05:00 * GNUmakefile: Rename since it uses GNU extensions

- - - - -

1 changed file:

- Makefile → GNUmakefile

Changes:

===================================== Makefile → GNUmakefile ===================================== --- a/Makefile +++ b/GNUmakefile @@ -1,3 +1,4 @@ +RM=rm -f

TEST_FILES := $(wildcard ./tests/*_test.ml)

View it on GitLab: https://gitlab.com/monnier/typer/commit/7b2de3d5ecccf718f0d5ba374a33be440b81...