From b9ee77f8153090e9d47e73ab195540d10720c7b6 Mon Sep 17 00:00:00 2001
From: Adelyn Breelove <tenseiken595@gmail.com>
Date: Thu, 10 Jan 2019 13:12:49 -0700
Subject: AAAAAAAAAAAAAAAAAAAAAAAA

---
 lib/ban.atd | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 lib/ban.atd

(limited to 'lib/ban.atd')

diff --git a/lib/ban.atd b/lib/ban.atd
deleted file mode 100644
index 0a87338..0000000
--- a/lib/ban.atd
+++ /dev/null
@@ -1,6 +0,0 @@
-type user <ocaml from="User" t="t"> = abstract
-
-type t = {
-    ?reason: string option;
-    user: user;
-}
\ No newline at end of file
-- 
cgit v1.2.3