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

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit a0eea0c81ac2d03563a280a2b0814988cb0563e2
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Jun 2 17:03:58 2008 +0200

    removals

diff --git a/debparser/debparser.mlid b/debparser/debparser.mlid
deleted file mode 100644
index cfe0847..0000000
--- a/debparser/debparser.mlid
+++ /dev/null
@@ -1 +0,0 @@
-debparser.cmi: rfc822.cmi 
diff --git a/debparser/rfc822.mlid b/debparser/rfc822.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/debver/debver.mlid b/debver/debver.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dose2-conduit/conduit.mlid b/dose2-conduit/conduit.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dose2-ledit/cursor.mlid b/dose2-ledit/cursor.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dose2-ledit/ledit.mlid b/dose2-ledit/ledit.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/dose2-util/util.mlid b/dose2-util/util.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/mmap/mmap.mlid b/mmap/mmap.mlid
deleted file mode 100644
index e69de29..0000000
diff --git a/rpmver/rpmver.mlid b/rpmver/rpmver.mlid
deleted file mode 100644
index e69de29..0000000

-- 
dose2 packaging