diff options
| author | Nadrieril | 2024-05-23 17:01:03 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-24 16:11:59 +0200 |
| commit | 7935e74a9cedd93e885ab546d5513ea6c31db5ad (patch) | |
| tree | 6f231079c905423479b4a63354c2a2e124843059 /backends/lean | |
| parent | 24fc188af7032b8119cb7504965b82216e2bbf6b (diff) | |
runner: Strongly typed Backend enum
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions