diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:29:10 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:29:10 +0200 |
| commit | 3aa45f72a8c8b33087fddab070a069adc5487244 (patch) | |
| tree | 0b384dc4acc59d30748a7511ade19cf8b670c4c3 /runtime | |
| parent | d57b14ba5eafae9b9b2b8fb60b1592efa88c69ed (diff) | |
| download | compcert-kvx-3aa45f72a8c8b33087fddab070a069adc5487244.tar.gz compcert-kvx-3aa45f72a8c8b33087fddab070a069adc5487244.zip | |
use /usr/bin/env
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions