releasing version 2.7~beta1+ds-4 debian/2.7_beta1+ds-4
[debian/jabref.git] / .idea / libraries /
drwxr-xr-x   ..
-rw-r--r-- 1919 lib.xml
-rw-r--r-- 575 plugin.xml