diff options
| author | Aymeric Fromherz | 2024-05-27 17:51:50 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-27 17:51:50 +0200 |
| commit | 309435d24edb689736da83025eb08a6761b28b8b (patch) | |
| tree | d1dfc5d42df9eca177cd69305f9efa69e3a4fec7 /backends/lean/.gitignore | |
| parent | c236ccfb22e64f56f4398d067582ebd570bf1a0b (diff) | |
Split collapse into collapse and reduce, rename accordingly
Diffstat (limited to 'backends/lean/.gitignore')
0 files changed, 0 insertions, 0 deletions