Skip to content

Implement merging groups in the three way merge UI#8960

Closed
HoussemNasri wants to merge 134 commits intoJabRef:mainfrom HoussemNasri:GSOC-merge-groups

Commits

Commits on Mar 24, 2022

Commits on Jul 2, 2022

Commits on Jul 6, 2022

Commits on Jul 9, 2022