Overview
Comment: | Added script to perform known header corrections |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
016eb686f910d3aaadb77c7a05e6bc8e |
User & Date: | rkeene on 2014-05-18 02:20:46 |
Other Links: | manifest | tags |
Context
2014-05-18
| ||
02:21 | tcc4tcl 0.10 check-in: ef02f1b927 user: rkeene tags: trunk, 0.10 | |
02:20 | Added script to perform known header corrections check-in: 016eb686f9 user: rkeene tags: trunk | |
01:08 | More work on getting headers correctly made available check-in: 76ee8b8d3d user: rkeene tags: trunk | |
Changes
Modified Makefile.in from [3232e8d81e] to [d1e42a6427]. [diff]
Added patch-headers.sh version [3d4b689176].