Parents and children of check-in [4391081dd7]
|
2010-09-16
| ||
| 01:04 | It seems there are very different versions of tput. Handle both. check-in: 384043a8b4 user: js tags: trunk | |
|
2010-09-15
| ||
| 22:23 | Include original extension in temporary .dep files. check-in: 4391081dd7 user: js tags: trunk | |
|
2010-08-11
| ||
| 11:09 | Use tput for colour output, if available. check-in: 2035aa9673 user: js tags: trunk | |