Bumps web interface to version 4.1.2.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 10 May 2017 17:46:38 +0000 (19:46 +0200)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 10 May 2017 17:46:51 +0000 (19:46 +0200)
commit0d9e041c6319b0bd7f0a791c7307ade0a2980d91
tree4d906ae1bfc7ab3af1f8586442b1ecb186232192
parentd17a4007628fd041f0a5651592e49bac72474bb7
Bumps web interface to version 4.1.2.
docs/index.html
docs/js/optimizer-worker.js