family file

Zur Navigation springen Zur Suche springen

Zur Anzeige der Änderungen einfach die zu vergleichenden Versionen auswählen und die Schaltfläche „Gewählte Versionen vergleichen“ klicken.

  • (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version
  • Uhrzeit/Datum = Version zu dieser Zeit, Benutzername/IP-Adresse des Bearbeiters, K = Kleine Änderung
  • AktuellVorherige 14:54, 20. Mär. 2014Theaitetos Diskussion Beiträge 2.845 Bytes +2.845 Bytes Die Seite wurde neu angelegt: „<pre> # -*- coding: utf-8 -*- """ This family file was auto-generated by $Id: generate_family_file.py 11746 2013-07-12 20:22:37Z drtrigon $ Configuration param…“