diff options
| author | Sorin Davidoi <sorin.davidoi@protonmail.com> | 2019-01-25 21:28:09 +0100 |
|---|---|---|
| committer | Sorin Davidoi <sorin.davidoi@protonmail.com> | 2019-01-25 21:53:44 +0100 |
| commit | dc3bee796219534de7b4719d76c73672041ed786 (patch) | |
| tree | f71771e2882669390a43037627c8257bd94e9139 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 53ce28a96930bd6b2c3add3d4fc54bacab6c42e7 (diff) | |
| download | rust-dc3bee796219534de7b4719d76c73672041ed786.tar.gz rust-dc3bee796219534de7b4719d76c73672041ed786.zip | |
test(versioncheck): Use .no_deps()
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions