diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-01-07 21:42:08 +0100 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-01-07 21:42:08 +0100 |
| commit | 12fad0dfecb626ceafcbb6e75c6adfd5e108b420 (patch) | |
| tree | 3d14ce842874c8de15d9cddc73b22b27410cd996 /config_simple.sh | |
| parent | b8e73be77abdef268594e747bdc6fc1ba503dc1f (diff) | |
| download | compcert-kvx-12fad0dfecb626ceafcbb6e75c6adfd5e108b420.tar.gz compcert-kvx-12fad0dfecb626ceafcbb6e75c6adfd5e108b420.zip | |
remove some useless "OK tt"
Diffstat (limited to 'config_simple.sh')
0 files changed, 0 insertions, 0 deletions