The following commit has been merged in the master branch:
commit 94992a1b7857daaabdc1fb6eb7ffe08daf76b946
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 19:33:51 2010 +0100
Fix installability problem by installing frama-c-gui.1 only once.
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit c580bafff95a688100c9bb7635c6e39e4a70d14f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 19:55:48 2010 +0100
Remove empty dirs
diff --git a/debian/changelog b/debian/changelog
index fe83aa2..fcbbdac 100644
---
The following commit has been merged in the master branch:
commit d7d9ec3a1978b042d59d395d32f7c1c236bbaa6f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 20:33:27 2010 +0100
Fix short description of frama-c-base
diff --git a/debian/changelog b/debian/changelog
index
3 matches
Mail list logo