From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 21 Jul 2010 09:46:51 +0200
Subject: Imported Upstream snapshot 8.3~beta0+13298

---
 library/library.mllib | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 library/library.mllib

(limited to 'library/library.mllib')

diff --git a/library/library.mllib b/library/library.mllib
new file mode 100644
index 00000000..4efb69a2
--- /dev/null
+++ b/library/library.mllib
@@ -0,0 +1,16 @@
+Nameops
+Libnames
+Libobject
+Summary
+Nametab
+Global
+Lib
+Declaremods
+Library
+States
+Decl_kinds
+Dischargedhypsmap
+Goptions
+Decls
+Heads
+
-- 
cgit v1.2.3