[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.0-1-5-g81cf630

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 81cf630a2ecae8bd005d7d94ebdd85d02d00eae0
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sun May 4 21:43:32 2008 +0200

    get rid of empty TODO

diff --git a/debian/TODO b/debian/TODO
deleted file mode 100644
index 388f969..0000000
--- a/debian/TODO
+++ /dev/null
@@ -1,4 +0,0 @@
-
-- install the .ml corresponding to "interface" modules (e.g. Binable, Sexpable,
-  Comparable, ...) for documentation purposes
-

-- 
janest-core packaging