chiark / gitweb /
bash_profile: Fix proxy snafu.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 27 Dec 2008 11:56:33 +0000 (11:56 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 27 Dec 2008 12:10:25 +0000 (12:10 +0000)
commit4b1d5c25be95f829cce99d3c7986f698fa180fc7
tree44f864c49374c24767de07f2f4db08e8b69dbcbb
parent0ccbc5614b6555efb5153642feed9ef3602134d6
bash_profile: Fix proxy snafu.

The earlier change 93ba996def65bdebd7d7026caff9661d9b038ead botched the
proxy syntax hopelessly.  This one fixes it again.
bash_profile