00fb37424d0e27b18c589f2d84c5b1279dd0511d
[debian/jabref.git] / debian / patches / 00list
1 01_free_javac
2 02_button