Peter Norvig e7cf09c397 Rename tools.md to txt/tools.md		2021-12-06 16:57:54 -08:00
..
reviews.md	Create reviews.md	2021-06-05 22:43:35 -07:00
tools.md	Rename tools.md to txt/tools.md	2021-12-06 16:57:54 -08:00