diff options
| author | Santo Cariotti <santo@dcariotti.me> | 2025-06-17 09:12:08 +0000 |
|---|---|---|
| committer | Santo Cariotti <santo@dcariotti.me> | 2025-06-17 09:12:08 +0000 |
| commit | 5607dc8d0df77ca64b5fa52cab026296279122a7 (patch) | |
| tree | d1b5f1e88efa42a3a390bbe0780481e1a3e8b4f0 /.pre-commit-config.yaml | |
| parent | d86751aa67c30fd0bea324a88964d4e151f9f288 (diff) | |
Avoid clone for pair also on proof
Diffstat (limited to '.pre-commit-config.yaml')
0 files changed, 0 insertions, 0 deletions