diff options
author | John Hodge <tpg@ucc.asn.au> | 2019-05-12 22:15:53 +0800 |
---|---|---|
committer | John Hodge <tpg@ucc.asn.au> | 2019-05-12 22:15:53 +0800 |
commit | 64933e013b3b9cf11f479a07cbe674de4f56ab7b (patch) | |
tree | 36c8a2e40bcd0ab9191af8283b94900141789fd6 /scripts | |
parent | ba97fac504233fb85bd033b3dbfba3ebfa675b15 (diff) | |
download | mrust-64933e013b3b9cf11f479a07cbe674de4f56ab7b.tar.gz |
Codegen C - (minor) Commenting and extra assertions
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions