ross 2005/03/08 04:40:41 PST Modified files: src machdep.c docs/users_guide options.xml Log: When setting the search path using -P, delete duplicate entries, as searching them would be a waste of time. Revision Changes Path 1.124 +100 -18 hugs98/src/machdep.c 1.15 +2 -0 hugs98/docs/users_guide/options.xml