Merge pull request #3032 from olivierverdier/dateformat

fix time format to international time format
13 years ago · 63bb914670
parent 903595a2a1 a7a73c4285
commit 63bb914670
1 changed files with 1 additions and 1 deletions
--- 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'));
    };