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