diff options
Diffstat (limited to 'misc/scripts')
-rwxr-xr-x[-rw-r--r--] | misc/scripts/dotnet_format.py | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | misc/scripts/file_format.py | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | misc/scripts/gitignore_check.sh | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | misc/scripts/header_guards.py | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/misc/scripts/dotnet_format.py b/misc/scripts/dotnet_format.py index 51fd7a1223..51fd7a1223 100644..100755 --- a/misc/scripts/dotnet_format.py +++ b/misc/scripts/dotnet_format.py diff --git a/misc/scripts/file_format.py b/misc/scripts/file_format.py index a4ea544a45..a4ea544a45 100644..100755 --- a/misc/scripts/file_format.py +++ b/misc/scripts/file_format.py diff --git a/misc/scripts/gitignore_check.sh b/misc/scripts/gitignore_check.sh index f162e25391..f162e25391 100644..100755 --- a/misc/scripts/gitignore_check.sh +++ b/misc/scripts/gitignore_check.sh diff --git a/misc/scripts/header_guards.py b/misc/scripts/header_guards.py index b554be5159..b554be5159 100644..100755 --- a/misc/scripts/header_guards.py +++ b/misc/scripts/header_guards.py |