diff options
| author | Son Ho | 2023-09-17 01:04:38 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-17 01:04:38 +0200 |
| commit | d69871473f49cb465c638609ce03b0e9013b73e3 (patch) | |
| tree | 0bf7d4be0dd1eccee36a544ef6b7f4c8db8bdf42 /backends/lean | |
| parent | 952c4c964e33eeb6956d84efce3ef1b7575f311f (diff) | |
Fix some formatting issues
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions