History for global/gen-ident.awk
2019-08-19
| ||
04:51 | Renamed global/genident.awk → global/gen-ident.awk. begin move away from legacy build system file: [730afca5a3] check-in: [26c340d29e] user: lexi, branch: trunk, size: 356 [annotate] [blame] [check-ins using] [diff] | |