Changed the size of entries number in groups tab#9449

Closed

alescrocaro wants to merge 3 commits intoJabRef:mainfrom alescrocaro:main

+4-3

Commits on Dec 4, 2022

Fix the column size of entries number in groups tree
alescrocaro
committed

Commits on Dec 12, 2022