Angelos Chalaris 71ecbc8cb1 Updated web script to deal with bugs

2017-12-21 12:31:47 +02:00

..

build-script.js

Fully renamed and updated everything, tagged, built

2017-12-17 17:55:51 +02:00

lint-script.js

Build, resolve #172

2017-12-16 17:19:16 +02:00

tag-script.js

Consistency for tools

2017-12-14 19:24:17 +02:00

web-script.js

Updated web script to deal with bugs

2017-12-21 12:31:47 +02:00