search

lizardsystem / lizard-portal

lizard-portal
Django app for management of Ext.js4 portlets.
GNU General Public License v3.0
1 stars 1 forks source link

Move extjs from media/lizard_portal/extjs to media/extjs #1

Closed reinout closed 13 years ago

reinout commented 13 years ago

In lizard-ui (and lizard-map) the external javascript libraries are directly inside media, not inside media/lizard_someting. This makes it easier to exclude extjs from the automatic jslint checking (which is undoubtedly necessary, as it was needed for the other external libraries).

=> move it.

And add a README.extjs file inside the media/ directory with extjs's license in it. Necessary as it otherwise seems like our code.

gijs commented 13 years ago

See 6d2a554e017e5e33b19b1f84aa66be2f815a56e0