From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Wed, 14 Nov 2018 16:19:36 +0000 (-0500)
Subject: Rename dupfiles to dups
X-Git-Url: https://git.xandkar.net/?p=dups.git;a=commitdiff_plain;h=03db9aee3a879fdb6aef6b40d86b9aca3898a376;ds=sidebyside

Rename dupfiles to dups
---

diff --git a/.gitignore b/.gitignore
index 7d19a9d..df36a51 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 _build/
-dupfiles
+dups
 *.native
 *.native
 *.swp
diff --git a/Makefile b/Makefile
index 3e9627e..13520a8 100644
--- 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