renamings of js stuff
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Mar 2013 15:47:45 +0000 (16:47 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Mar 2013 15:47:45 +0000 (16:47 +0100)
commit0426cdd4479234df3498deb8675511cd26e866c2
treee008b46408e28ee38d44928cb84e8317980a417e
parent928d9b692b74f7ebc2a6abaae24c00d9b2618acf
renamings of js stuff
Makefile
devel/server-loop.sh
unfold/js/init-all-plugins.js [moved from unfold/js/plugin-init.js with 100% similarity]
unfold/plugin.py
unfold/templates/plugin-init.js [moved from unfold/templates/plugin-setenv.js with 100% similarity]
views/templates/layout-myslice.html