diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 12:18:53 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 12:18:53 +0100 |
commit | 4d0cc4318d6f46d9575ff7ebb1b74d8d8632ebb1 (patch) | |
tree | 50afb7e63de6949bd62201fe385e18c98dc9cb06 /Makefile | |
parent | 56240b6f831e3aeca751c718dace1fd42724749d (diff) | |
download | compcert-kvx-4d0cc4318d6f46d9575ff7ebb1b74d8d8632ebb1.tar.gz compcert-kvx-4d0cc4318d6f46d9575ff7ebb1b74d8d8632ebb1.zip |
Using Ocaml type instead of string to identify resources
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions