comparison: scripts/check_license_header.py
scripts/check_license_header.py
- changeset 42868
- 213d7b930ba5
- parent 42594
- eddde70cedd8
- child 43086
- de9a870ce36e
equal
deleted
inserted
replaced
| 42867:e16b8726d9b5 | 42868:213d7b930ba5 |
|---|
