diff options
author | 2018-01-10 12:39:09 +0900 | |
---|---|---|
committer | 2018-01-10 12:39:09 +0900 | |
commit | 2e0b408b69d40ab457c998854e43d0b60dd1c68b (patch) | |
tree | fe21dafc0217c26afad3952ad72fc80eac5227ce /library/heads.ml | |
parent | 2a483f7c7ef7ac0cecaef48b3bad3920cea31bb5 (diff) |
Add comments by @psteckler to test-suite/README.md
Diffstat (limited to 'library/heads.ml')
0 files changed, 0 insertions, 0 deletions