change for #614506; need jgoodies-common in the classpath
[debian/jabref.git] / .idea / libraries /
drwxr-xr-x   ..
-rw-r--r-- 1919 lib.xml
-rw-r--r-- 575 plugin.xml