make LevelOptionResolver smarter#1521

Merged

TomasVotruba merged 3 commits intomasterfrom

Jun 1, 2019

Commits on May 31, 2019

fix missing use file info
TomasVotruba
committed

Commits on Jun 1, 2019