13 Dec
2008
13 Dec
'08
8:23 a.m.
Hi, Makefile.maint assumes this in some places. This doesn't make the world perfect but maybe a bit better? Cheers, -- Guido