The following commit has been merged in the master branch:
commit 7929bdbec402e099527cb4bd3b5ba1fb25b2bf2e
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date:   Sat May 3 22:13:49 2008 +0200

    cosmetic changes

diff --git a/debian/README.Debian b/debian/README.Debian
index c829c40..b27c68d 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -1,8 +1,5 @@
-core for Debian
-===============
-
-Summary of core functionalities
--------------------------------
+Summary of "core" functionalities
+=================================
 
 - Bag (set type with duplicates)
 - Bigbuffer (unlimited Buffer type)

-- 
core packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to