diff options
| author | 2023-01-22 10:47:33 -0600 | |
|---|---|---|
| committer | 2023-01-22 10:47:33 -0600 | |
| commit | 85f2acbf5289419aef6e17041b9f0fe83c41ba56 (patch) | |
| tree | c7810cfc8f4381b6d5f4dfc4237fe1b8a2afc1d7 /tools | |
| parent | Merge pull request #1060 from ianthehenry/doc-typos (diff) | |
Fix tools/format.sh file permissions.
Diffstat (limited to 'tools')
| -rwxr-xr-x[-rw-r--r--] | tools/format.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/format.sh b/tools/format.sh index 37e03f26..37e03f26 100644..100755 --- a/tools/format.sh +++ b/tools/format.sh |
