graf_karto - Dungeon mapping tool because clearly there are not enough out there!

	Commit message (Collapse)	Author	Age	Lines
*	Make walls thicker	Arne Dußin	2020-10-31	-1/+16
\| \| \| \| \|	Walls were really hard to see, especially on High-DPI Monitors, so I made them stand out more
*	Add wall tool	Arne Dußin	2020-10-31	-0/+79
	The wall tool is currently just one pixels lines, which must be changed in the future, of course, but this is also to test changing between tools.