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

Florian Hoss 17712acc19 use name as key, give text ref		2022-05-30 15:03:39 +02:00
..
part1.tex	use name as key, give text ref	2022-05-30 15:03:39 +02:00