diff options
| author | Alexander Regueiro <alexreg@me.com> | 2018-01-02 23:22:09 +0000 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-03-08 08:09:01 +0100 |
| commit | b2b101befcfe1ca4ea57862675df0de5ca7b15bd (patch) | |
| tree | d314f6ba6112589a114463de58929b7986271e47 /src/test/compile-fail | |
| parent | 4c9b1b13ddc3f3120bb7aee106a261613dfcb000 (diff) | |
Prepare for using miri in trans
Diffstat (limited to 'src/test/compile-fail')
0 files changed, 0 insertions, 0 deletions