Merge branch 'deb2.10+ds' of git+ssh://git.toastfreeware.priv.at/debian/jabref into...
[debian/jabref.git] / debian / clean
1 build.number
2 src/resource/build.properties