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