From b575f3a9db643c43fff1d4ea6312d868589f31b6 Mon Sep 17 00:00:00 2001 From: Tobie Morgan Hitchcock Date: Mon, 4 Jul 2022 17:52:45 +0100 Subject: [PATCH] Remove unused files --- lib/src/doc/grant.rs | 1 - lib/src/doc/mod.rs | 2 -- lib/src/doc/perms.rs | 1 - 3 files changed, 4 deletions(-) delete mode 100644 lib/src/doc/grant.rs delete mode 100644 lib/src/doc/perms.rs diff --git a/lib/src/doc/grant.rs b/lib/src/doc/grant.rs deleted file mode 100644 index 8b137891..00000000 --- a/lib/src/doc/grant.rs +++ /dev/null @@ -1 +0,0 @@ - diff --git a/lib/src/doc/mod.rs b/lib/src/doc/mod.rs index e4af5261..41eeda18 100644 --- a/lib/src/doc/mod.rs +++ b/lib/src/doc/mod.rs @@ -15,12 +15,10 @@ mod erase; mod event; mod exist; mod field; -mod grant; mod index; mod insert; mod lives; mod merge; -mod perms; mod pluck; mod purge; mod relate; diff --git a/lib/src/doc/perms.rs b/lib/src/doc/perms.rs deleted file mode 100644 index 8b137891..00000000 --- a/lib/src/doc/perms.rs +++ /dev/null @@ -1 +0,0 @@ -