blob: 7993843ed06934edbc20283ba2bbd2f67319f18e [file] [log] [blame]
file_time()
***********
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.