From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 10 May 2018 15:31:52 +0000 (+0100)
Subject: Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/77dbf0e697f41fa43fbe29152510c6fada023809

Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

* 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile:
  dot/zshrc: Some other tweaks.
  dot/zshrc: Use `hist_ignore_space' instead of the `zshaddhistory' hack.
  dot/bashrc, dot/zshrc: Turn on `!' expansion explicitly.
---

77dbf0e697f41fa43fbe29152510c6fada023809