Fix old JabRef linked files containing the file directory as element in the filename#9046
Merged
Siedlerchr merged 7 commits intomainfrom Sep 3, 2022
Merged
Fix old JabRef linked files containing the file directory as element in the filename#9046Siedlerchr merged 7 commits intomainfrom
Siedlerchr merged 7 commits intomainfrom
Commits
Commits on Aug 11, 2022
Commits on Aug 12, 2022
- committed
