escape_id moves into plugin.js
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Oct 2013 15:36:45 +0000 (17:36 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Oct 2013 15:36:45 +0000 (17:36 +0200)
commit4722ee62bd16b68846ecfc19e19e62b5bc769c01
tree5fae80b10527177dd091e47fc25fbf913928bdf0
parent66e63a3a8dbd1c2a47668b0479ea1ff361269f64
escape_id moves into plugin.js
manifold/static/js/plugin.js
plugins/googlemap/static/js/googlemap.js
unfold/static/js/unfold-helper.js