- use international date format for all places that print a date.

The most important one is the autosave tagging. This was done because the old printout was missing the year and printed the month as a 3 character English string, sabotaging any attempt to sort the autosaves by anything meaningful.

src/utility/cmdlib.cpp

@@ -426,6 +426,7 @@ void FormatGUID (char *buffer, size_t buffsize, const GUID &guid)
 
 const char *myasctime ()
 {
+	static char readabletime[50];
 	time_t clock;
 	struct tm *lt;
 
@@ -433,11 +434,12 @@ const char *myasctime ()
 	lt = localtime (&clock);
 	if (lt != NULL)
 	{
-		return asctime (lt);
+		strftime(readabletime, 50, "%F %T", lt);
+		return readabletime;
 	}
 	else
 	{
-		return "Pre Jan 01 00:00:00 1970\n";
+		return "Unknown\n";
 	}
 }