Jörg Lohrer 134616809c docs for gh-pages ... Es wurde der Unterordner /docs eingerichtet, in dem html-Dateien künftig automatisch nach github gespiegelt und über GH-Pages direkt live geschaltet werden können.		2025-09-03 16:20:02 +02:00
..
index11.html	docs for gh-pages	2025-09-03 16:20:02 +02:00