Change wiki URL in the right place this time
authorAdam Chlipala <adamc@hcoop.net>
Mon, 12 Nov 2007 23:36:58 +0000 (23:36 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Mon, 12 Nov 2007 23:36:58 +0000 (23:36 +0000)
commit43d786dc30a1fd6ccff13f840bccccebe0daef51
tree12d971a302b58859cb2e238a5da596fbedef535c
parent59eb5381735d29cc1e985cf8bc8a328640fede44
Change wiki URL in the right place this time
header.mlt.in