chiark / gitweb /
bash_profile: Extend the collection of INFOPATH directories.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 15 Mar 2009 11:46:33 +0000 (11:46 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 15 Mar 2009 11:46:33 +0000 (11:46 +0000)
In particular, cover where I've stashed the ITS info files.  This makes
reading them rather easier.


No differences found