diff options
| author | Nadrieril | 2024-05-23 10:05:04 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | b953b89f9739c6703c49667781f5509b1b2a3898 (patch) | |
| tree | e7b1a658a2e35c55fe26f185485486406c3800f1 /backends/lean/.gitignore | |
| parent | 9e834db4174a900845199ccb189b575a20f11eda (diff) | |
Let the runner choose which backends to use
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions