Bumps web interface to version 4.1.3.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Thu, 18 May 2017 19:33:03 +0000 (21:33 +0200)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Thu, 18 May 2017 19:33:03 +0000 (21:33 +0200)
commita721500fd06a06bdb0556d6a76cc936c56fccb8f
tree7a9def4df7598d2d775ca9b0e729bda7f0af4c54
parent292402b2bb3115fc996fc2098add6bd4a7596c49
Bumps web interface to version 4.1.3.
docs/index.html
docs/js/optimizer-worker.js