17 Nov
2004
17 Nov
'04
3:15 p.m.
Having module.pmod.in as a directory is pretty uncommon I'd say, yes, so I'm not surprised there are bugs in the handling of it. Who implemented it in the first place?