[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. f9e76baffb832a6c5a33d5f0a3de4309f2c0a65c

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit f0da4585160889a0e2158aa0ddbcd84658f89e8b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Jun 2 16:54:50 2008 +0200

    remove mlid

diff --git a/dosebase/dosebase.mlid b/dosebase/dosebase.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dql/cache.mlid b/dql/cache.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dql/error.mlid b/dql/error.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dql/gregorian.mlid b/dql/gregorian.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dql/help.mlid b/dql/help.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dql/interpreter.mlid b/dql/interpreter.mlid
deleted file mode 100644
index 1b8cfde..0000000
--- a/dql/interpreter.mlid
+++ /dev/null
@@ -1 +0,0 @@
-interpreter.cmi: query.cmo 
diff --git a/dql/lexic.mlid b/dql/lexic.mlid
deleted file mode 100644
index 1c6aa96..0000000
--- a/dql/lexic.mlid
+++ /dev/null
@@ -1 +0,0 @@
-lexic.cmi: syntax.cmo 
diff --git a/dql/syntax.mlid b/dql/syntax.mlid
deleted file mode 100644
index 6253a6a..0000000
--- a/dql/syntax.mlid
+++ /dev/null
@@ -1 +0,0 @@
-syntax.cmi: query.cmo 
diff --git a/lifetime/lifetime.mlid b/lifetime/lifetime.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/napkin/napkin.mlid b/napkin/napkin.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/packetology/diagnosis.mlid b/packetology/diagnosis.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/packetology/installability.mlid b/packetology/installability.mlid
deleted file mode 100644
index a59712e..0000000
--- a/packetology/installability.mlid
+++ /dev/null
@@ -1 +0,0 @@
-installability.cmi: diagnosis.cmi 
diff --git a/progress/progress.mlid b/progress/progress.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/rapids/rapids.mlid b/rapids/rapids.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/rapids/waterway.mlid b/rapids/waterway.mlid
deleted file mode 100644
index 09cbfd6..0000000
--- a/rapids/waterway.mlid
+++ /dev/null
@@ -1 +0,0 @@
-waterway.cmi: rapids.cmi 
diff --git a/satsolver/solver.mlid b/satsolver/solver.mlid
deleted file mode 100644
index e69de29..0000000

-- 
dose2 packaging