Bumps web interface to version 4.0.1.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 25 Jan 2017 10:33:11 +0000 (11:33 +0100)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 25 Jan 2017 10:33:11 +0000 (11:33 +0100)
commitb3b31ae42cf347e9259e5de6c7a0e6f0dfd6a302
tree15c29a6368feafb34c58f67df18ee4d4e38c2725
parent32dc1db53c00f3c7c1bfa892ede76a715958a6e5
Bumps web interface to version 4.0.1.
docs/index.html
docs/js/optimizer-worker.js