14 Fév
2016
14 Fév
'16
16:03
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...