[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-68-g62d5fad

Mehdi Dogguy dogguy at pps.jussieu.fr
Tue Feb 24 14:19:10 UTC 2009


The following commit has been merged in the master branch:
commit b00523b7fdde9550327793a5a7a7c2c8dcd7646b
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 14:00:49 2009 +0100

    Remove leading space from description

diff --git a/debian/control b/debian/control
index dd357a3..365f49b 100644
--- a/debian/control
+++ b/debian/control
@@ -66,4 +66,4 @@ Depends:
   coq-${F:CoqABI}
 Section: libdevel
 Description: Why library for Coq
-  This package contains Why library for Coq.
+ This package contains Why library for Coq.

-- 
why packaging



More information about the Pkg-ocaml-maint-commits mailing list