Browse Source

Mark run-ci.py as executable

Hamilton Turner 11 years ago
parent
commit
1d21e28d9e
1 changed files with 0 additions and 0 deletions
  1. 0 0
      toolset/run-ci.py

+ 0 - 0
toolset/run-ci.py