diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:51:08 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:52:10 +0200 |
| commit | 4d36f7a3d78608fc24d2966f9d9728f3d114be85 (patch) | |
| tree | 6d0d78d2ad579b7e63341ef2329240d908dd568a /driver | |
| parent | e4e4bb635650055a94112250b71c111096f1263e (diff) | |
| download | compcert-kvx-4d36f7a3d78608fc24d2966f9d9728f3d114be85.tar.gz compcert-kvx-4d36f7a3d78608fc24d2966f9d9728f3d114be85.zip | |
Removing lustrev4_lustrec_heater_control and ternary for now from benches.sh
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions