• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: scripts/check_license_header.py

scripts/check_license_header.py

changeset 42795

fedfa85c0b40

parent 42594

eddde70cedd8

child 43086

de9a870ce36e