21 Jul
2006
21 Jul
'06
8:29 p.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