aboutsummaryrefslogtreecommitdiffstats
path: root/.gitmodules
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-06-19 11:55:11 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-06-19 11:55:11 +0200
commit0172a007be382d10f81391d8b4df076a1487daed (patch)
tree0689f96ed3c96e4023d3669353e80815bfbd1b4d /.gitmodules
parent2ca746bc66b88dffe5a7dd5e29dc03ebd034b87d (diff)
downloadcompcert-kvx-0172a007be382d10f81391d8b4df076a1487daed.tar.gz
compcert-kvx-0172a007be382d10f81391d8b4df076a1487daed.zip
Adding clean to test/monniaux/Makefile
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions