Arduino DS3231 formato hora 24h

Hola alguien me puede decir , como puedo cambiar el formato hora de este sketch en formato 24h , para que cuando sea la 1 marque 13:00.

Processing: Arduino-Based Real-Time Clock.rtf...
Arduino-Based Real-Time Clock.zip (2.3 KB)

Descomenta (y corrige porque está mal) la línea

  //h =Clock.getHour(h12,PM); //24hr Format

que debe quedar

h = Clock.getHour(h12,PM);  //24hr Format

y comenta (o elimina) las líneas entre

//12hr Format

y

//end of 12hr Format

Saludos

PD: Para la próxima sube el código como corresponde (ver Normas de foro Español, punto 7)

Atención: Edité un error

Moderador:
Para la próxima no, para esta.
Comienza leyendo las Normas del foro y postea el código para que sea haga visible. Nada de que nosotros tengamos que descargarlo. Si tu codigo tuviera muchos Kb es otra cosa, pero no es el caso.
Ahora ve a edición, luego selecciona todo el código de tu IDE, click en </>

y lo pegas.