##// END OF EJS Templates
remove unused dateformat...
remove unused dateformat we are using moment.js for dates now
MinRK -
r18043:5c8d0c93
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / style
ipython.less Loading ...
ipython.min.css Loading ...
style.less Loading ...
style.min.css Loading ...