Peter Norvig e7cf09c397 Rename tools.md to txt/tools.md

2021-12-06 16:57:54 -08:00

..

reviews.md

…

tools.md

Rename tools.md to txt/tools.md

2021-12-06 16:57:54 -08:00