]> git.mdlowis.com Git - archive/tide-ocaml.git/commit
minor cleanup
authorMichael D. Lowis <mike@mdlowis.com>
Tue, 3 Oct 2017 01:53:13 +0000 (21:53 -0400)
committerMichael D. Lowis <mike@mdlowis.com>
Tue, 3 Oct 2017 01:53:13 +0000 (21:53 -0400)
commitf8af9c0965c3420055676cd1957dae7a63c83c3a
tree9c9a009c3835ba43b16d0ad9eb2b8cfcd1825867
parent3e51fe2b83c4485da4e0b4dfbbdf8547d77e074e
minor cleanup
edit.ml