diff options
author | William Lawvere <mundungus.corleone@gmail.com> | 2017-06-11 14:18:54 -0700 |
---|---|---|
committer | William Lawvere <mundungus.corleone@gmail.com> | 2017-06-13 13:23:24 -0700 |
commit | 3b0830ce0233db5b612e0b5bb92e89fa644eb0e4 (patch) | |
tree | e6aab0f3ac9dd2b4c2b74fb4439ac09eaae7954f /checker | |
parent | 79c42e22dd5106dcb85229ceec75331029ab5486 (diff) |
doc: improve grammar of RefMan-syn
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions