This repository has been archived on 2023-10-20. You can view files and clone it, but cannot push or open issues or pull requests.

Maximilian Keßler 5a24b3735f initial commit		2022-02-16 00:33:16 +01:00
..
build_document.sh	initial commit	2022-02-16 00:33:16 +01:00
git-info-2.sh	initial commit	2022-02-16 00:33:16 +01:00