diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-11 15:31:23 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-11 15:33:32 +0200 |
| commit | f18121824c167d33f61a1fc8100bd4a8aa4f53cd (patch) | |
| tree | ac8c7bbd13ae6bd9d13619ba9dc15832a713024a /misc/dist/docker | |
| parent | 290032b68f5cc1f6c2cb410c2a90d81168c72a87 (diff) | |
Add missing license headers
Make `fix_headers.py` script compatible with Python 3.
Diffstat (limited to 'misc/dist/docker')
0 files changed, 0 insertions, 0 deletions