chiark / gitweb /
dot/shell-rc: Make sure that `$USER' is defined.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 8 May 2020 22:29:50 +0000 (23:29 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 13 May 2020 17:31:10 +0000 (18:31 +0100)

No differences found