chiark / gitweb /
bash_profile: Fix proxy settings, broken in the shake-up.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 20 Mar 2006 11:09:59 +0000 (11:09 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 20 Mar 2006 11:09:59 +0000 (11:09 +0000)
commitdd84629111a04443b79646a05370442dd0685f69
tree45f8699d0a9624cb65c07ad7b0fec92cc4b57ab0
parentc18a9b64e8143163311fd836b852f2ba49bbd636
bash_profile: Fix proxy settings, broken in the shake-up.
bash_profile