christoph 8f5d933ddb temporarily disable jabref

2022-11-11 16:11:26 +01:00

..

christoph

temporarily disable jabref

2022-11-11 16:11:26 +01:00

modules

small bugfix

2022-11-09 23:20:54 +01:00