remove pagemain.js

It does not seem to be usefull anymore.

The different main.js of /tree /notebook /etc do create an instance of
`page` themselves, error pages do have hardcoded styles that show header
and sites.
This commit is contained in:
Matthias BUSSONNIER 2014-07-20 19:26:16 +02:00
parent cfe9fa4314
commit 17afb5a71f
2 changed files with 0 additions and 8 deletions

View File

@ -1,7 +0,0 @@
// Copyright (c) IPython Development Team.
// Distributed under the terms of the Modified BSD License.
require(['base/js/page'], function(page) {
var page_instance = new page.Page();
page_instance.show();
});

View File

@ -90,7 +90,6 @@
</div>
{% block script %}
<script src="{{static_url("base/js/pagemain.js") }}" type="text/javascript" charset="utf-8"></script>
{% endblock %}
<script src="{{static_url("custom/custom.js") }}" type="text/javascript" charset="utf-8"></script>