mode debugging in hazelnut, and depending on the global debug flag
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Oct 2013 15:16:43 +0000 (17:16 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Oct 2013 15:16:43 +0000 (17:16 +0200)
commit90d67c0586ebd5c4233a378b918d643ae152ae56
tree464cd139f06afbedaee511be956caf71c7ca16b4
parent65788a3e513e2ad271a49a5e56811e4ffd090fb4
mode debugging in hazelnut, and depending on the global debug flag
plugins/hazelnut/static/js/hazelnut.js