Rename dupfiles to dups
authorSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 16:19:36 +0000 (11:19 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 16:19:36 +0000 (11:19 -0500)
.gitignore
Makefile
dups.ml [moved from dupfiles.ml with 100% similarity]
dups.mli [moved from dupfiles.mli with 100% similarity]

index 7d19a9d..df36a51 100644 (file)
@@ -1,5 +1,5 @@
 _build/
-dupfiles
+dups
 *.native
 *.native
 *.swp
index 3e9627e..13520a8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-EXE_NAME := dupfiles
+EXE_NAME := dups
 EXE_TYPE := native
 
 .PHONY: all build clean
similarity index 100%
rename from dupfiles.ml
rename to dups.ml
similarity index 100%
rename from dupfiles.mli
rename to dups.mli
This page took 0.019351 seconds and 4 git commands to generate.