diff options
author | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-01-10 12:39:09 +0900 |
---|---|---|
committer | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-01-10 12:39:09 +0900 |
commit | 2e0b408b69d40ab457c998854e43d0b60dd1c68b (patch) | |
tree | fe21dafc0217c26afad3952ad72fc80eac5227ce /pretyping/pretyping.mli | |
parent | 2a483f7c7ef7ac0cecaef48b3bad3920cea31bb5 (diff) |
Add comments by @psteckler to test-suite/README.md
Diffstat (limited to 'pretyping/pretyping.mli')
0 files changed, 0 insertions, 0 deletions