From c3d6e15bb89d4a93a2fa486db6c8e126baf4da2e Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Mon, 21 Jan 2019 08:52:33 -0700 Subject: folder restructure --- lib/models/ban.mli | 1 - 1 file changed, 1 deletion(-) delete mode 100644 lib/models/ban.mli (limited to 'lib/models/ban.mli') diff --git a/lib/models/ban.mli b/lib/models/ban.mli deleted file mode 100644 index f8b1c2e..0000000 --- a/lib/models/ban.mli +++ /dev/null @@ -1 +0,0 @@ -include module type of Ban_t \ No newline at end of file -- cgit v1.2.3