| commit | 88f12479d30902b0d2c05be41901c96b92a88a77 | [log] [tgz] |
|---|---|---|
| author | MG Mud User <mud@mg.mud.de> | Fri Jun 24 23:31:02 2016 +0200 |
| committer | MG Mud User <mud@mg.mud.de> | Fri Jun 24 23:32:04 2016 +0200 |
| tree | 7a8a34c3e3c1f55780ee8420a7a59c984ee0e399 |
Added public files Roughly added all public files. Probably missed some, though.
diff --git a/doc/sefun/file_time b/doc/sefun/file_time new file mode 100644 index 0000000..6c24baa --- /dev/null +++ b/doc/sefun/file_time
@@ -0,0 +1,5 @@ +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.