comparison: scripts/check_license_header.py
scripts/check_license_header.py
- changeset 42866
- 4b201e18638f
- parent 42594
- eddde70cedd8
- child 43086
- de9a870ce36e
equal
deleted
inserted
replaced
| 42865:42a6367d2154 | 42866:4b201e18638f |
|---|
