diff options
author | 2017-08-10 13:41:32 +0100 | |
---|---|---|
committer | 2017-08-10 13:43:00 +0100 | |
commit | de170f36c9b8e36810126fec82ff9cce2a2af2e7 (patch) | |
tree | 588eb829bd159bb9f21ee51a1b3bf013878dea26 /stm/stm.mli | |
parent | a1fc30e9d90885ed665e350c1ef4598e66f3d68d (diff) |
Some more tweaks to contributing guide
Diffstat (limited to 'stm/stm.mli')
0 files changed, 0 insertions, 0 deletions