Ondrej Holy authored Jun 01, 2023 and António Fernandes committed Dec 20, 2023

The default time and date formats in Files are intended to be human
friendly and to avoid information overload. This works for most cases
and is an appropriate default. However, there are cases where people
need to be able to see a complete date and time for their files.

This adds a preference to show a numerical date and time format.

Part of #2874