diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 15:21:35 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-20 15:21:35 +0200 |
| commit | fa0271962d23a06ae2456d88291409cb27f3076a (patch) | |
| tree | 33ace154343f223cbf62d64cf7dfcf544b9f121f /.gitignore | |
| parent | 7811a12e452fb5ffb6953f7e1610aad1d473b396 (diff) | |
| download | compcert-kvx-fa0271962d23a06ae2456d88291409cb27f3076a.tar.gz compcert-kvx-fa0271962d23a06ae2456d88291409cb27f3076a.zip | |
Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions