Géry Debongnie e6a5934162 [REF] component: use 'component' instead of 'widget'

2019-06-20 12:31:00 +02:00

..

benchmarks

[REF] component: use 'component' instead of 'widget'

2019-06-20 12:31:00 +02:00

playground

[REF] component: use 'component' instead of 'widget'

2019-06-20 12:31:00 +02:00

index.html

[ADD] tools: add v0.15.0 benchmark

2019-06-17 16:07:06 +02:00

main.css

[IMP] tools: rework benchmarks application

2019-06-13 11:41:49 +02:00

server.py

[FIX] benchmarks: two small fixes

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