blob: 6c24baa5965a4996fed9b7d752e6d7ac722f9812 [file] [log] [blame]
FUNKTION:
int file_time(string filename);
Liefert den Zeitpunkt der letzten Modifikation des Files in Sekunden seit
dem 1.1.1970, 0:00. Kann per ctime() in ein lesbares Format gebracht werden.