fix the issue in DXProt::add_thingy
[spider.git] / contrib / g0rdi /
1998-12-22 djk*** empty log message ***