The following commit has been merged in the master branch:
commit 995e8778644e8301d8331d4d996a12d31d8340f9
Author: Mehdi Dogguy
Date: Fri Feb 20 17:39:18 2009 +0100
Remove useless comments
diff --git a/debian/rules b/debian/rules
index 9bdb596..f930483 100755
--- a/debian/rules
+++ b/debia
The following commit has been merged in the master branch:
commit 6fb02c1ce54ae01815c7ef919e17cc8b708f60bf
Author: Mehdi Dogguy
Date: Fri Feb 20 17:39:02 2009 +0100
Use the one defined in ocamlvars.mk
diff --git a/debian/rules b/debian/rules
index 4912c4b..9bdb596 100755
--- a/debian/rules
The following commit has been merged in the master branch:
commit a005d865cee494be71af33d1ed22ce022b0ff38c
Author: Mehdi Dogguy
Date: Fri Feb 20 17:38:43 2009 +0100
They are already defined in ocamlvars.mk
diff --git a/debian/rules b/debian/rules
index 03990d8..4912c4b 100755
--- a/debian/
3 matches
Mail list logo