again: so we have el-> elmt and els -> elts
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 16 Sep 2013 13:13:08 +0000 (15:13 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 16 Sep 2013 13:13:08 +0000 (15:13 +0200)
commit80f12b8fb93ab7227bffad8c7aa22020fab007e5
treee8c251a3fa43ea06f8b651bb745468e55d21fb79
parent22dba9d34674e0cc1b285e678bbb7bc6482c58ca
again: so we have el-> elmt and els -> elts
manifold/js/plugin.js
plugins/active_filters/static/js/active_filters.js
plugins/googlemaps/static/js/googlemaps.js
plugins/hazelnut/static/js/hazelnut.js
plugins/query_editor/static/js/query_editor.js
plugins/resources_selected/static/js/resources_selected.js
plugins/updater/static/js/updater.js