[Don't Merge] Dockerized#48

Open

zingales wants to merge 26 commits intofrontEndImprovmentsfrom

Commits on Sep 22, 2018

Commits on Sep 23, 2018

Commits on Sep 24, 2018

Commits on Sep 27, 2018

push
G
committed