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