JFronny 35ffea6feb Get rid of JGit, please use a normal git install. ... .gitignore is now parsed manually during export		2022-08-02 16:55:16 +02:00
..
inceptum	Get rid of JGit, please use a normal git install.	2022-08-02 16:55:16 +02:00