Differences From Artifact [d4ffca3dc2]:
- File headers.awk — part of check-in [76ee8b8d3d] at 2014-05-18 01:08:10 on branch trunk — More work on getting headers correctly made available (user: rkeene, size: 1677) [annotate] [blame] [check-ins using]
To Artifact [2628bc220f]:
- File headers.awk — part of check-in [b871b65c64] at 2014-06-13 02:52:26 on branch trunk — Updated to include all headers (user: rkeene, size: 1681) [annotate] [blame] [check-ins using]
︙ | |||
71 72 73 74 75 76 77 | 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 | - + | destcopy[dest,idx] = src; destcopyfiles[dest] = 1; } for (destfile in destcopyfiles) { outidx = 0; |
︙ |