Commit 8655641

authored

Merge pull request #197 from Rostepher/remove-update-toolchain-script

[Gardening] Remove the seemingly unused update-toolchain.py script.

2 parents 31bcaed + c4b457e commit 8655641Copy full SHA for 8655641

1 file changed

+0

-78

lines changed

update-toolchain.py

1 file changed

+0

-78

lines changed

`‎update-toolchain.py`

This file was deleted.

Comments

(0)