Skip to content

Remove unnecessary jgit pgm dependency, add annotations removed in Ja…#1

Merged
Chris2011 merged 2 commits intoChris2011:mainfrom
OndroMih:cleanup-dependencies
May 4, 2022
Merged

Remove unnecessary jgit pgm dependency, add annotations removed in Ja…#1
Chris2011 merged 2 commits intoChris2011:mainfrom
OndroMih:cleanup-dependencies

Commits

Commits on May 3, 2022