From 2280477a96e19ba5060de2d48dcc8fd7c8079d22 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Fri, 13 Nov 2015 11:31:34 +0100
Subject: Imported Upstream version 8.5~beta3+dfsg

---
 library/library.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'library/library.mllib')

diff --git a/library/library.mllib b/library/library.mllib
index eca28c82..92065736 100644
--- a/library/library.mllib
+++ b/library/library.mllib
@@ -16,5 +16,4 @@ Dischargedhypsmap
 Goptions
 Decls
 Heads
-Assumptions
 Keys
-- 
cgit v1.2.3