This Day In History For 2024-12-13

15 Years Ago (more context)

2009-12-13
18:04		Ouch. check-in: 99d2895284 user: js tags: trunk
17:52		Change make clean behaviour. check-in: 2b8322f61b user: js tags: trunk