Merge pull request #6579 from minrk/rm-dateformat

remove unused dateformat library

IPython/html/templates/page.html

@@ -25,7 +25,6 b''
             jquery: 'components/jquery/jquery.min',
             bootstrap: 'components/bootstrap/js/bootstrap.min',
             bootstraptour: 'components/bootstrap-tour/build/js/bootstrap-tour.min',
-            dateformat: 'dateformat/date.format',
             jqueryui: 'components/jquery-ui/ui/minified/jquery-ui.min',
             highlight: 'components/highlight.js/build/highlight.pack',
             moment: "components/moment/moment",
@@ -46,9 +45,6 b''
               deps: ["bootstrap"],
               exports: "Tour"
             },
-            dateformat: {
-              exports: "dateFormat"
-            },
             jqueryui: {
               deps: ["jquery"],
               exports: "$"