diff options
| author | Nadrieril | 2024-05-22 15:41:30 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | ad819ad9ccdf137ca87eb367810694246696b835 (patch) | |
| tree | 0c623219bf3ec139ebbb2a0f08b74a65d68e343f /tests/lean | |
| parent | b66f7fee37bf2127e07b0865edb8fb1e039cab9e (diff) | |
Regroup and sort makefile test entries
Diffstat (limited to 'tests/lean')
0 files changed, 0 insertions, 0 deletions