* Update to Standards-Version: 3.7.0 (no changes required).
-rw-r--r-- 83 build.number
-rw-r--r-- 23944 build.xml
drwxr-xr-x - debian
-rw-r--r-- 48 jabref
drwxr-xr-x - lib
drwxr-xr-x - src