phil 7a19f27a8d * Index-Verzeichnis wieder zurueck verschoben		2006-07-27 13:46:12 +00:00
..
index.lyx	* Index-Verzeichnis wieder zurueck verschoben	2006-07-27 13:46:12 +00:00
index2.lyx	* Lars' Patch	2006-07-27 13:44:30 +00:00