[Pkg-ocaml-maint-commits] [SCM] core packaging branch, master, updated. b8f2462fac28be994600d355b4c885c419fec5a9

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 7929bdbec402e099527cb4bd3b5ba1fb25b2bf2e
Author: Stefano Zacchiroli <zack at upsilon.cc>
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