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

diff: scripts/check_license_header.py

scripts/check_license_header.py

changeset 42714

f555f11df057

parent 42594

eddde70cedd8

child 43086

de9a870ce36e