diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-04 23:50:32 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-05 01:22:22 +0100 |
| commit | eb892cd0f123244446e14fe0c1f40981116c4d37 (patch) | |
| tree | 08d05ae03c32c2283970568c6c049a36b7523d92 /editor/fileserver | |
| parent | 3f9f0b3dbb534518999d6b10c8e0ee68c1e27793 (diff) | |
Improve script to add/fix copyright headers
- The header now always ends with exactly one empty line
- Comments after the header are no longer removed
- Improved readability with clearer file names and comments
Diffstat (limited to 'editor/fileserver')
0 files changed, 0 insertions, 0 deletions