aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorPierre Letouzey2014-01-24 17:18:31 +0100
committerPierre Letouzey2014-01-30 18:36:49 +0100
commitd6ac933cb34aa0f8dbb7e898596f3cf28c8cc35c (patch)
treedd411b4424b76d08d623b88ebec59e6781f4a5c7 /lib
parent2d775d722fa1e51825600096156d94278b6893ea (diff)
clib.mllib: remove duplicated Flags entry
Diffstat (limited to 'lib')
-rw-r--r--lib/clib.mllib1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/clib.mllib b/lib/clib.mllib
index d36fba36c2..07ea6960e8 100644
--- a/lib/clib.mllib
+++ b/lib/clib.mllib
@@ -22,7 +22,6 @@ CArray
CStack
Util
Loc
-Flags
Stateid
Serialize
Xml_utils