Merge pull request #64 from daringer/master
authorThomas B <redacted>
Sun, 3 Nov 2019 21:58:15 +0000 (22:58 +0100)
committerGitHub <redacted>
Sun, 3 Nov 2019 21:58:15 +0000 (22:58 +0100)
commit3430622f3372e4c2c28311bc00e8612e6132cced
treea0ecbd28c43e27560e4057a16159b3fbf718b752
parentd9e6fadaab91fc43cffbf2a79b8c97bee1614c63
parent64f878afab0adbe72bd78b964b56d840efbf9b1c
Merge pull request #64 from daringer/master

minor, but breaking; no touching [ or ] in expr. in bash allowed
git clone https://git.99rst.org/PROJECT