use more sensitive names in hazelnut.js
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Oct 2013 08:49:43 +0000 (10:49 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Oct 2013 08:49:43 +0000 (10:49 +0200)
commitb7ea95fe5deab2ed8f9e55dd8654ce0c7e944b39
treed1c6b9a3052d378d1a8b1b58162fe2880fd0bf2d
parente06101a75f3daa74f308b9943823ea8f692889bc
use more sensitive names in hazelnut.js
plugins/hazelnut/static/js/hazelnut.js