Changed options menu title (depends on Jabref/JabRef#9768)#451
Merged
Siedlerchr merged 17 commits intomainfrom options-menu-to-fileSep 3, 2023
+33-33
Commits
Commits on Apr 16, 2023
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
