Closed IncPlusPlus closed 2 years ago
The introduction of #148 made the map name look gross and_riddled_with_underscores (out of necessity). This PR brings the proper names back and closes #147.
The introduction of #148 made the map name look gross and_riddled_with_underscores (out of necessity). This PR brings the proper names back and closes #147.