rename patches to their old names to keep the delta small
[debian/jabref.git] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 2012 01_free_javac.patch
-rw-r--r-- 3081 02_libs.patch
-rw-r--r-- 804 03_external_apps.patch
-rw-r--r-- 1058 04_HONOR_DISPLAY_PROPERTIES.patch
-rw-r--r-- 945 05_antlr.patch
-rw-r--r-- 2042 06_BibtexEntry.patch
-rw-r--r-- 127 series