darabos's picture
Merge pull request #186 from biggraph/darabos-no-minimap
c40f753 unverified