diff options
author | 2017-08-10 12:52:30 +0100 | |
---|---|---|
committer | 2017-08-10 12:52:30 +0100 | |
commit | a1fc30e9d90885ed665e350c1ef4598e66f3d68d (patch) | |
tree | 256a92058712956eb0f314c6653dfecde644b5bb /interp/doc.tex | |
parent | 94c50815caf4c57b77ed761e05dc707f48685c65 (diff) |
Amendments to contributing doc
Incorporating some feedback from @Zimmi48
Diffstat (limited to 'interp/doc.tex')
0 files changed, 0 insertions, 0 deletions