diff options
author | BenoƮt Viguier <ildyria@users.noreply.github.com> | 2018-05-31 17:52:12 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-31 17:52:12 +0200 |
commit | 27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf (patch) | |
tree | 4230e007a3f87306958a919a71f53831441ffd06 /riscV/Asmgen.v | |
parent | c3816c99e0464d3c8feaae9a19d3956a7acd4385 (diff) | |
download | compcert-27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf.tar.gz compcert-27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf.zip |
Install the VERSION file along the .vo files
This is useful for the VST project and can be useful for others.
Diffstat (limited to 'riscV/Asmgen.v')
0 files changed, 0 insertions, 0 deletions