
Loading…
Fix ./tools/... permissions #476
+0
−0
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This page is out of date. Refresh to see the latest.
Showing
with
0 additions
and 0 deletions.
Several scripts weren't executable.