diff options
Diffstat (limited to 'library/library.mllib')
-rw-r--r-- | library/library.mllib | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/library/library.mllib b/library/library.mllib index d94fc2291..e43bfb5a1 100644 --- a/library/library.mllib +++ b/library/library.mllib @@ -1,5 +1,3 @@ -Univops -Nameops Libnames Globnames Libobject |