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

diff: scripts/check_license_header.py

scripts/check_license_header.py

changeset 42868

213d7b930ba5

parent 42594

eddde70cedd8

child 43086

de9a870ce36e