"Christopher Kings-Lynne" <chriskl(at)familyhealth(dot)com(dot)au> writes:
> Sure he's actually removed the lib dir?
The directory cannot actually disappear from CVS, but everything in it
is dead as of CVS tip --- at least, I think so and so does the cvsweb
interface. What do you see still present in ecpg/lib?
regards, tom lane