22 Jul
2006
22 Jul
'06
1:59 a.m.
Neil Mitchell writes:
We should avoid referring to $PATH as the "path", since we already have FilePath. Agreed, but I couldn't come up with a better name, if anyone has any suggestions.
searchPath?
--
David Menendez