diff options
| author | Nadrieril | 2024-05-23 10:56:17 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | 88a2112b3561eff8b6996d740b5c0e1f62c2d9ee (patch) | |
| tree | 17c0cdd615b2be4ab69d83a5651714211e3fb2e0 /tests/hol4/misc-constants/Holmakefile | |
| parent | c6c9e351546a723e62cc21579b2359dba3bfb56f (diff) | |
Format `flake.nix`
Diffstat (limited to 'tests/hol4/misc-constants/Holmakefile')
0 files changed, 0 insertions, 0 deletions