aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cutil.mli
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2019-09-30 17:26:21 +0200
committerBernhard Schommer <bschommer@users.noreply.github.com>2019-09-30 17:32:25 +0200
commita8586f12b75687061a6d8df9d23696d35f4472f0 (patch)
tree2bdd14dd04b5d861414dfaf569f7ed4712373507 /cparser/Cutil.mli
parentb5b154620e454ba947957eb1164acbffff1cb5bd (diff)
downloadcompcert-kvx-a8586f12b75687061a6d8df9d23696d35f4472f0.tar.gz
compcert-kvx-a8586f12b75687061a6d8df9d23696d35f4472f0.zip
Added .gitattributes file.
Treat doc as documentation and tests as vendored for github linguist
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions