garakmon 8b673757a8 document event shift and pencil tools		2020-05-16 15:35:42 -04:00
..
manual	document event shift and pencil tools	2020-05-16 15:35:42 -04:00
reference	Use githubpages extension, rather than manually managing .nojekyll. Cleanup recommonmark usage	2020-05-16 13:49:50 -05:00
index.rst.txt	add 'create new map' docs	2020-05-15 21:43:24 -04:00