Change directory for some tools.

This commit is contained in:
Eduard Tolosa 2019-02-08 22:40:44 -05:00
parent ebc9eceadb
commit 57f965cc6e
2 changed files with 0 additions and 0 deletions