rename js template
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Dec 2012 09:08:02 +0000 (10:08 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Dec 2012 09:08:02 +0000 (10:08 +0100)
commitdd7a6a67c9df09b1a376f5e0ee7b8e9375399774
tree8ce00b9f49803d893a6a495ca87c67be9b50bf85
parent551c63dbf72283370e22746305292fba55a60c1a
rename js template
engine/plugin.py
engine/templates/plugin_setenv.js [moved from engine/templates/init_plugin.js with 100% similarity]