diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-19 17:10:51 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-19 17:10:58 -0700 |
| commit | 0eff1c77f250e6839086f41af0c79bb3e2e8ea39 (patch) | |
| tree | 827f5539570673738bf2ae332d6e8b09785de49b | |
| parent | e5e47cb9eedc257aa94815380005fe16f2171f3f (diff) | |
chmod +x for all tools.
| -rwxr-xr-x[-rw-r--r--] | tools/autoformat.nom | 0 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/upgrade.nom | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/tools/autoformat.nom b/tools/autoformat.nom index 7126608..7126608 100644..100755 --- a/tools/autoformat.nom +++ b/tools/autoformat.nom diff --git a/tools/upgrade.nom b/tools/upgrade.nom index 8f478ac..8f478ac 100644..100755 --- a/tools/upgrade.nom +++ b/tools/upgrade.nom |