summaryrefslogtreecommitdiff
path: root/yacc
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue@math.nagoya-u.ac.jp>2016-07-05 18:09:58 +0900
committerJacques Garrigue <garrigue@math.nagoya-u.ac.jp>2016-07-05 18:09:58 +0900
commit17cc980be3f8fc59764a9ada968fdcd984b6b636 (patch)
treec00fac891a371ed68f7251cd97423c5aad6f84e5 /yacc
parent848c20f27d1e92df359ef02987cc2dc7d4c54cc7 (diff)
downloadocaml-17cc980be3f8fc59764a9ada968fdcd984b6b636.tar.gz
fix comment
Diffstat (limited to 'yacc')
0 files changed, 0 insertions, 0 deletions