chiark / gitweb /
dot/profile: Support (and export) `$https_proxy' variable.
-rw-r--r-- 36 .gitattributes
-rw-r--r-- 10 .gitignore
-rw-r--r-- 12656 Makefile
drwxr-xr-x - bg
drwxr-xr-x - bin
drwxr-xr-x - dot
drwxr-xr-x - el
drwxr-xr-x - git
drwxr-xr-x - kermit
-rw-r--r-- 611 mdw.conf