dotjosh/DayZCommander — pull request #18 by rlaneve (2012-07-22 16:11:40+00:00)
Title: Adds 24-hr Time Format user setting + converter for server time.

This is [card 42](https://trello.com/c/2lAB7C5X) on the Trello board. I'm no WPF wizard, so feel free to point out any stupidity.

The only issue I see with this is that changing the setting while the list is populating does not immediately update the servers already displayed. That leads to a mix of time-formats until the list finishes populating, at which point they'll all update to reflect the same format.