flukx 197a6ed4bf add * to input commands and rename zeichnungen to graphics ... then more is in English the * disallows paragraph breaks in input file names. Sounds reasonable		2022-08-05 19:59:58 +02:00
..
.maindir	add * to input commands and rename zeichnungen to graphics	2022-08-05 19:59:58 +02:00