Dustin Carlino f3b396a7e9 set a window icon		2020-05-09 09:48:24 -07:00
..
assets	set a window icon	2020-05-09 09:48:24 -07:00
fonts	ありがとう, Mr Roboto. You've served us well, but switch to Overpass	2020-04-01 09:32:52 -07:00
proposals	working on the article	2020-05-07 16:54:36 -07:00
synthetic_maps	adjust tutorial top panel to make task selection more clear	2020-03-20 10:23:30 -07:00