debian/watch: use sourceforge URL directly instead of the redirector
[debian/jabref.git] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 76 00list
-rwxr-xr-x 2874 01_free_javac.dpatch
-rwxr-xr-x 2679 02_libs.dpatch
-rwxr-xr-x 1104 03_external_apps.dpatch
-rwxr-xr-x 1407 04_HONOR_DISPLAY_PROPERTIES.dpatch
-rwxr-xr-x 1323 05_antlr.dpatch