diff options
| author | Son Ho | 2023-07-03 19:26:27 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-03 19:26:27 +0200 |
| commit | 75fae6384716f24fe137283d4a41836782b9aec7 (patch) | |
| tree | 61bd96b19da72dab50f95db15235251fecc1fa2b /rust-scripts/src/main.rs | |
| parent | 9214484c471ad931924865855687f9a2ffe255dd (diff) | |
Cleanup a bit Diverge/Elab.lean
Diffstat (limited to 'rust-scripts/src/main.rs')
0 files changed, 0 insertions, 0 deletions