Padre 0.3.1

By kristof on Sat, 11/22/2003 - 11:05

I have released Padre 0.3.1. It contains a small fix where the patchlevel is also shown in the resulting dependency tree.