Hugo Locurcio 5acb8a253e
Only print message for get_modified_time() failure when in verbose mode
This error message was often displayed for no good reason when PCK
files were loaded in the editor.

Since file modification dates are secondary metadata, it's not
very important if it can't be retrieved successfully anyway.
2021-12-01 21:47:09 +01:00
..
2021-02-22 19:22:53 +01:00
2021-09-23 10:35:00 +02:00
2021-09-23 10:35:00 +02:00