Bumps web interface to version 4.1.5.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Thu, 29 Jun 2017 06:58:26 +0000 (08:58 +0200)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Thu, 29 Jun 2017 06:58:26 +0000 (08:58 +0200)
commita6e7757dc5e9b0d6ef574302cb7ed967209314f4
tree8fadd6da7d902eb76ce9bf2114146ecc63c857fa
parent4c3a48d94a83730baccf53e26657a4cdad1cc2e8
Bumps web interface to version 4.1.5.
docs/index.html
docs/js/optimizer-worker.js