Bumps web interface to version 4.2.1.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Tue, 7 Aug 2018 08:45:20 +0000 (10:45 +0200)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Tue, 7 Aug 2018 08:45:20 +0000 (10:45 +0200)
commitb01dd75728dd860eada6374bff5c2c54d77cac76
tree362527d1caa34519c7e9cd73de10fbc1786eaecb
parent87a872259f5e3745444b20283fbb877148e19f7d
Bumps web interface to version 4.2.1.
docs/index.html
docs/js/optimizer-worker.js