This Day In History For 2027-05-12
15 Years Ago (more context)
|
2012-05-12
| ||
| 18:20 | Updated ignores check-in: cacef894ea user: rkeene tags: trunk | |
| 18:19 | Updated to allow user to specify platforms check-in: 60f3a1a967 user: rkeene tags: trunk | |
| 18:19 | Updated to build GNU readline if needed check-in: 86fb425c6b user: rkeene tags: trunk | |