diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-01 12:46:36 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-01 12:46:36 +0100 |
| commit | d1f3b622f0b436d89ad9e352e1a9071e72799455 (patch) | |
| tree | 23fa8af3eb8ebe01e510cd8aea7f220b7c27045d /misc/scripts | |
| parent | 89560c2138d00c6b64f09dda97a18cb84ab76aff (diff) | |
Fix missing/malformed license headers
Diffstat (limited to 'misc/scripts')
| -rwxr-xr-x[-rw-r--r--] | misc/scripts/fix_headers.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/misc/scripts/fix_headers.py b/misc/scripts/fix_headers.py index 48b9628b1f..48b9628b1f 100644..100755 --- a/misc/scripts/fix_headers.py +++ b/misc/scripts/fix_headers.py |