[devtools] Rewrite fix-copyright-headers.py
Description
Description
Details
Details
- Provenance
MarcoFalke <falke.marco@gmail.com> Authored on Dec 13 2015, 13:51 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC3cd836c1d855: Merge pull request #7158
- Branches
- Unknown
- Tags