]> git.cameronkatri.com Git - mandoc.git/commit
Use [ rather than [[ for portability,
authorIngo Schwarze <schwarze@openbsd.org>
Thu, 18 May 2017 14:45:34 +0000 (14:45 +0000)
committerIngo Schwarze <schwarze@openbsd.org>
Thu, 18 May 2017 14:45:34 +0000 (14:45 +0000)
commita81d5d8c62b37fdb8d82d9cebd9cfa044222b9d8
treee9bffa828d6aa059f74921f29bf1691e814bbea2
parentf7464ac0fa669c59b2930f137049b871e828064a
Use [ rather than [[ for portability,
in particular since it makes no difference in the case at hand.
Reported by Leah Neukirchen <leah at vuxu dot org> (Void Linux).
gmdiff