diff options
| author | Lily Ballard <lily@ballards.net> | 2021-07-21 16:53:19 -0700 |
|---|---|---|
| committer | Lily Ballard <lily@ballards.net> | 2021-07-21 16:53:19 -0700 |
| commit | 4f98d51f98724be86e41890bc58ddb1ff2520410 (patch) | |
| tree | 7a22b6ab663289bd86d0955d5f36cc9021a3b9d6 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 32c9b7b091534f6d80e7e85da0cd425acb6c9a79 (diff) | |
| download | rust-4f98d51f98724be86e41890bc58ddb1ff2520410.tar.gz rust-4f98d51f98724be86e41890bc58ddb1ff2520410.zip | |
Update my name/email in .mailmap
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions