diff options
| author | John Hodge <tpg@ucc.asn.au> | 2017-04-28 21:21:58 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2017-04-28 21:21:58 +0800 |
| commit | 4de1bdb03d48b2741ec1075a55f5d726facb6f91 (patch) | |
| tree | e806672391ea9b35eea5cc702be2459fecfab19d /src/common.hpp | |
| parent | d9d78dbc959089afbeb9ef48826689a52f7ce8c6 (diff) | |
| download | mrust-4de1bdb03d48b2741ec1075a55f5d726facb6f91.tar.gz | |
Main - Allow env var enabling of full MIR check
Diffstat (limited to 'src/common.hpp')
0 files changed, 0 insertions, 0 deletions