Fix the name of the tools directory.

This commit is contained in:
2023-04-23 16:51:02 -07:00
parent 5704654d1a
commit 0fe35cd976