jerger 52babb01e9 adjust doc to new version		2022-08-19 14:37:37 +02:00
..
example	adjust doc to new version	2022-08-19 14:37:37 +02:00
dev_setup.md	dev-setup	2022-03-25 18:17:52 +01:00
releasing.md	added releasing to doc	2022-01-28 10:19:09 +01:00