10 Jun
2013
10 Jun
'13
noon
Well, we might generate the cmakefiles with a pike script to cut down on the amount of information duplication in git. :)