diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-08-11 17:24:02 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-11 17:24:02 +0200 |
commit | 4600e580bfdcb3bd84ea495c4cd46c3718c1ca4d (patch) | |
tree | 3a51dc596595744afa5f845ecc28106381ab024a /benchmarks/CHStone/mips | |
parent | ed24f8b4717c02573b4149ca4cdf3f84a95d49a6 (diff) | |
download | vericert-4600e580bfdcb3bd84ea495c4cd46c3718c1ca4d.tar.gz vericert-4600e580bfdcb3bd84ea495c4cd46c3718c1ca4d.zip |
Fix admitted icon in README
Diffstat (limited to 'benchmarks/CHStone/mips')
0 files changed, 0 insertions, 0 deletions