diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 11:17:09 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 11:17:09 +0000 |
| commit | 52c41786bb4673ebea32a870e7a3ad948cfe574d (patch) | |
| tree | 30fbcad1f5ab0f792746f59d76680c550303758e /dune | |
| parent | dc518898cac3b8e06684b6e66377d430ab30a52e (diff) | |
| download | vericert-52c41786bb4673ebea32a870e7a3ad948cfe574d.tar.gz vericert-52c41786bb4673ebea32a870e7a3ad948cfe574d.zip | |
Add idle state after return
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions