comparison: scripts/check_license_header.py
scripts/check_license_header.py
- changeset 43046
- eeab15f4576e
- parent 42594
- eddde70cedd8
- child 43086
- de9a870ce36e
equal
deleted
inserted
replaced
| 43045:308e8d0ce68c | 43046:eeab15f4576e |
|---|
