oops, antlr and antlr_3_ in 02_libs.dpatch
[debian/jabref.git] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 76 00list
-rwxr-xr-x 2874 01_free_javac.dpatch
-rwxr-xr-x 3941 02_libs.dpatch
-rwxr-xr-x 1104 03_external_apps.dpatch
-rwxr-xr-x 1407 04_HONOR_DISPLAY_PROPERTIES.dpatch
-rwxr-xr-x 7461 05_antlr.dpatch