<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div> </div>
<div>Bis jetzt hat die Initiative mit github offenbar noch nicht gezündet. Es waren ja leider</div>
<div>unvorhergesehene Schwierigkeiten aufgetreten.</div>
<div>Das Beste wird sein, weil ja noch weiter nichts passiert ist, das Repo V36 zu löschen</div>
<div>und neu anzulegen. Dabei sicherstellend, daß Dateien dann unverändert gespeichert</div>
<div>werden und nicht etwa eigenmächtig die Zeilenenden auf den Code 10 reduziert werden.</div>
<div>(Das wäre zwar ohne funktionale Folgen, aber erwünscht ist es vorerst nicht.)</div>
<div> </div>
<div>Hinein kommt zuerst der Inhalt der Version V35F, dann die inzwischen veränderten Dateien.</div>
<div>Das ermöglicht dann den bequemen Vergleich und eine bessere Übersicht.</div>
<div>Danach können weitere Verbesserungen erfolgen und dann konsequent alle</div>
<div>geänderten Dateien ins Repo überführt werden.</div>
<div> </div>
<div>B.E.</div>
<div> </div></div></body></html>