Skip to content

3189 fix group renaming#4470

Merged
tobiasdiez merged 23 commits intoJabRef:masterfrom Ali96kz:3189-fix-group-renamingNov 23, 2018

Commits

Commits on Oct 29, 2018

Commits on Nov 8, 2018

Commits on Nov 9, 2018

Commits on Nov 12, 2018

Commits on Nov 14, 2018