diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 21:20:29 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-27 16:28:59 +0000 |
commit | 47f1e35303e4613b03dd1a1afc69a69b6fde35d2 (patch) | |
tree | 3a09125ae5e18021df5bf5276993c1f62d3cdf83 /backend | |
parent | e6e036b3f285d2f3ba2a5036a413eb9c7d7534cd (diff) | |
download | compcert-47f1e35303e4613b03dd1a1afc69a69b6fde35d2.tar.gz compcert-47f1e35303e4613b03dd1a1afc69a69b6fde35d2.zip |
Ignore unnecessary folders
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions