Search results

Is it possible to change the clock to 24h format? It annoys me that it displays for instance 3:03 instead of 15:03. I've looked in the manual without finding anything.