##// END OF EJS Templates
Merge pull request #3263 from minrk/nocp...
Brian E. Granger -
r10534:73770ffa merge
parent child Browse files
Show More
@@ -138,6 +138,9 b' var IPython = (function (IPython) {'
138 138 }
139 139
140 140 SaveWidget.prototype.set_last_checkpoint = function (checkpoint) {
141 if (!checkpoint) {
142 this.set_checkpoint_status("");
143 }
141 144 var d = new Date(checkpoint.last_modified);
142 145 this.set_checkpoint_status(
143 146 "Last Checkpoint: " + d.format('mmm dd HH:MM')
General Comments 0
You need to be logged in to leave comments. Login now