chiark / gitweb /
dot/shell-rc: Run `make' nicely by default.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 20 Jul 2018 20:34:11 +0000 (21:34 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 20 Jul 2018 20:35:18 +0000 (21:35 +0100)
commitdaeece4beeba2316d11910130f4476cb9ac8efb2
tree170670cd6fabd65f234ff1270b9be252eb382c3a
parent26819a41655bfd88bebd25ee85be2fea318f822a
dot/shell-rc: Run `make' nicely by default.
dot/shell-rc