diff options
| author | Leonardo Santiago <[email protected]> | 2024-04-25 15:12:28 -0300 |
|---|---|---|
| committer | Leonardo Santiago <[email protected]> | 2024-04-25 15:12:28 -0300 |
| commit | 00d580e47de5c9d1d1ada4d51ddda34876706a28 (patch) | |
| tree | 3ae058c620244419266ca3e09c8930a13e68413a /secrets | |
| parent | c62f2220844350e40e78b1a08f954ff5621ccb7a (diff) | |
fix proof-general
Diffstat (limited to 'secrets')
0 files changed, 0 insertions, 0 deletions