Remove unused files

2022-07-04 17:52:45 +01:00 · 2022-07-04 17:52:45 +01:00 · b575f3a9db
commit b575f3a9db
parent 8ebcff6d18
3 changed files with 0 additions and 4 deletions
--- a/lib/src/doc/grant.rs
+++ b/lib/src/doc/grant.rs
@ -1 +0,0 @@
-
--- 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;
--- a/lib/src/doc/perms.rs
+++ b/lib/src/doc/perms.rs
@ -1 +0,0 @@
-