Change time format to european

Hi,

First of all I want to thank you for this amazig app.
Works really good and looks good.
I would love to know if it’s possible to change the US time format (am and pm) to an european time format (24h)?

Thanks!
Joke Wouters

https://wordpress.org/plugins/the-events-calendar/