New upstream release.
[debian/jabref.git] / htdocs-helper /
drwxr-xr-x   ..
-rw-r--r-- 710 README.md
-rw-r--r-- 7862 generate-htdocs-help-from-jabref-src-help.pl
-rw-r--r-- 1756 validate-htdocs-syntax.pl