Bumps web interface to version 4.0.12.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 12 Apr 2017 19:11:40 +0000 (21:11 +0200)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 12 Apr 2017 19:11:40 +0000 (21:11 +0200)
commitf03cc6a3aa74061b736a256fef000b0fc94ea67d
tree4509c976f1f48a771866546ffdf867219f52796c
parente89aadd09c2cb98edc2dbca71bbd6a19215d4eb5
Bumps web interface to version 4.0.12.
docs/index.html
docs/js/optimizer-worker.js