From 85906fa6c061c62b48a8e8697538c52cd14106de 2013-03-18 15:21:22
From: Olivier Verdier <olivier.verdier@gmail.com>
Date: 2013-03-18 15:21:22
Subject: [PATCH] fix time format to international time format

use the ISO 8601 standard
see http://en.wikipedia.org/wiki/ISO_8601#Times
---

diff --git a/IPython/frontend/html/notebook/static/js/savewidget.js b/IPython/frontend/html/notebook/static/js/savewidget.js
index 85303e9..eb802fe 100644
--- a/IPython/frontend/html/notebook/static/js/savewidget.js
+++ b/IPython/frontend/html/notebook/static/js/savewidget.js
@@ -127,7 +127,7 @@ var IPython = (function (IPython) {
 
     SaveWidget.prototype.set_last_saved = function () {
         var d = new Date();
-        this.set_save_status('Last saved: '+d.format('mmm dd h:MM TT'));
+        this.set_save_status('Last saved: '+d.format('mmm dd HH:MM'));
     };