add (back) patch headers
[debian/jabref.git] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 2042 BibtexEntry.patch
-rw-r--r-- 1058 HONOR_DISPLAY_PROPERTIES.patch
-rw-r--r-- 945 antlr.patch
-rw-r--r-- 3081 build_xml.patch
-rw-r--r-- 2012 free_javac.patch
-rw-r--r-- 804 preferences.patch
-rw-r--r-- 112 series