Géry Debongnie c5a80497ac [FIX] tooling: properly set playground in dev mode ...

It was not in dev mode since changes to config system

2019-11-13 08:49:25 +01:00

..

benchmarks

[IMP] component: get env from constructor

2019-11-01 08:39:35 +01:00

playground

[FIX] tooling: properly set playground in dev mode

2019-11-13 08:49:25 +01:00

index.html

[ADD] tools: add benchmarks for v0.24.0

2019-10-25 17:17:20 +02:00

main.css

[IMP] tools: improve error message display

2019-06-28 14:54:24 +02:00

server.py

[FIX] benchmarks: two small fixes

2019-06-11 11:29:31 +02:00