drop .menu file; jabref ships a .desktop file
[debian/jabref.git] / src / manuals / de /
drwxr-xr-x   ..
-rw-r--r-- 2712 JabRef-UserManual_de.bib
-rw-r--r-- 162526 JabRef-UserManual_de.tex