From 6107be18a9c02e1b838ef9c8d84645a1f3534cd2 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Bourgault <jcbourgault2008@yahoo.ca>
Date: Sun, 1 May 2016 22:30:24 -0400
Subject: [PATCH] Added listing for TimeFormat

---
 src/Disp.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Disp.js b/src/Disp.js
index b150200..74ff8cb 100644
--- a/src/Disp.js
+++ b/src/Disp.js
@@ -957,6 +957,7 @@ CM.Disp.AddMenuPref = function(title) {
 	frag.appendChild(listing('Stats'));
 	frag.appendChild(listing('UpStats'));
 	frag.appendChild(listing('SayTime'));
+	frag.appendChild(listing('TimeFormat'));
 	
 	frag.appendChild(header('Other'));
 	frag.appendChild(listing('Scale'));