Philip Torchinsky efa3b4f0dc Rename doc to doc.txt		2023-02-01 17:55:23 +02:00
..
doc.txt	Rename doc to doc.txt	2023-02-01 17:55:23 +02:00
edu.txt