aboutsummaryrefslogtreecommitdiff
path: root/gramlib/gramlib.mllib
diff options
context:
space:
mode:
Diffstat (limited to 'gramlib/gramlib.mllib')
-rw-r--r--gramlib/gramlib.mllib1
1 files changed, 0 insertions, 1 deletions
diff --git a/gramlib/gramlib.mllib b/gramlib/gramlib.mllib
index 4c915b2b05..e7e08f8ae1 100644
--- a/gramlib/gramlib.mllib
+++ b/gramlib/gramlib.mllib
@@ -1,4 +1,3 @@
-Ploc
Plexing
Gramext
Grammar