diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 17:07:49 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 17:07:49 +0200 |
| commit | d7db47b79be13bf5ea5f8f6ddd7e2a014c451df3 (patch) | |
| tree | d128a721bf1d7e3a3815616fc1f3f4d871db8902 /LICENSE | |
| parent | ec3fd16d73d0a712591cb5731d51ba672b9f12dc (diff) | |
| download | compcert-kvx-d7db47b79be13bf5ea5f8f6ddd7e2a014c451df3.tar.gz compcert-kvx-d7db47b79be13bf5ea5f8f6ddd7e2a014c451df3.zip | |
for compiling cjpeg/djpeg
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions