[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-4-gc3adee3

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c3adee38d910d2c98b5cf96857a4c591ff7758f6
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sat Nov 15 22:46:58 2008 +0100

    Remove extra lines

diff --git a/debian/alt-ergo.dirs b/debian/alt-ergo.dirs
index 1acef58..3760460 100644
--- a/debian/alt-ergo.dirs
+++ b/debian/alt-ergo.dirs
@@ -1,3 +1,2 @@
 usr/bin
 usr/lib/alt-ergo
-
diff --git a/debian/watch b/debian/watch
index e5463c6..de605ab 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,2 @@
 version=3
 http://alt-ergo.lri.fr/http/alt-ergo-(.*)\.tar\.gz
-

-- 
alt-ergo packaging