Merge pull request #788 from whitequark/master
authorClifford Wolf <clifford@clifford.at>
Tue, 15 Jan 2019 08:52:01 +0000 (09:52 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Jan 2019 08:52:01 +0000 (09:52 +0100)
commit1d82a88e948e614ada66b0fd59e9cc0aa569afae
tree4626094558bb891f4c9c33330549df3609e38a0e
parent0994cfce7b15bbbea28a09e141a669c7228b6a89
parentfc2dd7ec8e433bf54fffdb85e9aa2556fe3e39a2
Merge pull request #788 from whitequark/master

Document $tribuf and some gates