chiark / gitweb /
dot/shell-rc: Be nice when running Maven too.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 11 Jul 2024 12:28:31 +0000 (13:28 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 11 Jul 2024 12:28:31 +0000 (13:28 +0100)
Not that I do that often by choice.


No differences found