The following commit has been merged in the master branch:
commit c8bdd9e0fc12634749a2d0c7c5f678c49f7747dc
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 13:56:53 2008 +0200
Copy config.{sub,guess} in pre-config phase instead of clean
diff --git a/debian/rules b/debian/rules
The following commit has been merged in the master branch:
commit 18ff77549b29e1de14a3bff88ce536ce5b848b5f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 14:14:56 2008 +0200
Remove stray script remaining from svn2git conversion
diff --git a/ocaml-tags-svn2git.sh
The following commit has been merged in the master branch:
commit 910fc7f880da1d419a3fb6be18998a21199c268f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 14:33:09 2008 +0200
Bump debhelper compatibility level to 7
* use debian/clean for cleaning upstream files
*
The following commit has been merged in the master branch:
commit fef041704f0ae52f203fe1de6cac9bde891fbb21
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 14:36:05 2008 +0200
Clean more files
diff --git a/debian/clean b/debian/clean
index e2d10dd..22a7a76 100644
---
On Tue, Jul 8, 2008 at 18:48:02 +, Stephane Glondu wrote:
The following commit has been merged in the master branch:
commit c8bdd9e0fc12634749a2d0c7c5f678c49f7747dc
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 13:56:53 2008 +0200
Copy config.{sub,guess} in
5 matches
Mail list logo
