Differences From Artifact [d6d1f90c6d]:
- File headers.awk — part of check-in [c75ccc535c] at 2014-05-06 06:05:06 on branch trunk — Updated to normalize file pathnames (user: rkeene, size: 477) [annotate] [blame] [check-ins using]
To Artifact [2b29d7a703]:
- File headers.awk — part of check-in [af00e9d27e] at 2014-05-06 06:06:19 on branch trunk — Updated to normalize correctly (user: rkeene, size: 479) [annotate] [blame] [check-ins using]
1 2 3 4 5 6 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 | - + |
/^# [0-9][0-9]* /{
file = $3;
gsub(/^"/, "", file);
gsub(/"$/, "", file);
|
| ︙ |