The following commit has been merged in the master branch:
commit 2117b3086b478e5251dd97442caf189f1aee0689
Author: Gert Wollny gw.foss...@gmail.com
Date: Thu Nov 29 16:13:27 2012 +0100
change devel description
diff --git a/debian/control b/debian/control
index a32fe3f..3815b57 100644
---
The following commit has been merged in the master branch:
commit 135fcbadb93e25b990b799c3f0d6da741ee2b84a
Author: Gert Wollny gw.foss...@gmail.com
Date: Thu Nov 29 16:15:22 2012 +0100
put man pages into devel
diff --git a/debian/control b/debian/control
index 3815b57..d99bac1 100644
---
The following commit has been merged in the master branch:
commit 0fa604a947bc49be863614029e33b0f2756214f1
Author: Gert Wollny gw.foss...@gmail.com
Date: Thu Nov 29 16:33:30 2012 +0100
remove -doc package recommendation
diff --git a/debian/control b/debian/control
index d99bac1..806c4e4