The following commit has been merged in the master branch:
commit cdb7ca70024738d52056a841b736a174becb9ace
Author: Ralf Treinen trei...@debian.org
Date: Mon Feb 6 16:44:26 2012 +0100
add .pc
diff --git a/.gitignore b/.gitignore
index e5553ea..bc827ce 100644
--- a/.gitignore
+++
The following commit has been merged in the master branch:
commit a498f1d861698320aac2c8405153803ab597eef7
Author: Ralf Treinen trei...@debian.org
Date: Mon Feb 6 16:43:02 2012 +0100
adapt patch binaries-prefix-edos
diff --git a/debian/patches/binaries-prefix-edos
The following commit has been merged in the master branch:
commit 20a6c18256e251361741bd79002062fec8b4e911
Author: Ralf Treinen trei...@debian.org
Date: Mon Feb 6 19:59:40 2012 +0100
undo accidential direct edits in the master branch
diff --git a/applications/distcheck.ml
3 matches
Mail list logo