Rename dupfiles to dups

diff --git a/.gitignore b/.gitignore
index 7d19a9d..df36a51 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 _build/
-dupfiles
+dups
 *.native
 *.native
 *.swp

diff --git a/Makefile b/Makefile
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

diff --git a/dupfiles.ml b/dups.ml
similarity index 100%
rename from dupfiles.ml
rename to dups.ml

diff --git a/dupfiles.mli b/dups.mli
similarity index 100%
rename from dupfiles.mli
rename to dups.mli