Bumps web interface to version 4.1.7.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Fri, 14 Jul 2017 13:10:18 +0000 (15:10 +0200)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Fri, 14 Jul 2017 13:10:18 +0000 (15:10 +0200)
commitf7d31f827345ec36fe2cdd62d1194e2483d4136f
tree20b672dab776b98cf97f04c3d68d5a639d693340
parent51cf52956c7fc64f0f472e75aaa71c755b3cb753
Bumps web interface to version 4.1.7.
docs/index.html
docs/js/optimizer-worker.js