nautilusmode.com
Customize Linux: Cinnamon Desktop Environment – Clock Format
One of the best things about Linux is that you can customize it any way you like. So why not how the date/time displays?