Skip to content

Fixed: #4166 add move & rename file#4217

Merged
tobiasdiez merged 2 commits intoJabRef:masterfrom upupming:file-move-and-renameJul 17, 2018