chiark / gitweb /
dot/profile: New preferred place for Plan 9 is `/opt/plan9'. chiark/master
authorMark Wooding <mdw@distorted.org.uk>
Wed, 11 Apr 2018 10:12:12 +0000 (11:12 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 11 Apr 2018 10:13:34 +0000 (11:13 +0100)
commit8fd6f7da14cd7447f8b79cfda45da573cf07fcfe
treef8499c733d44342eec670d1d4408fa67344875cc
parent62811c5f5ba0263a5f06134b8cc8e8c95138f7e3
dot/profile: New preferred place for Plan 9 is `/opt/plan9'.
dot/profile