diff options
| author | Son Ho | 2024-06-03 14:56:42 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-03 14:56:42 +0200 |
| commit | 67ef9b5316b6550c3386ae095197ea513ed7dfbb (patch) | |
| tree | b617f6258e3b589c734adfa1b1509a67163cbad2 /tests/hol4/misc-paper/Holmakefile | |
| parent | ec1e958fd7bd82a4e931e1dc7acb79eeccef92ac (diff) | |
Cleanup a bit
Diffstat (limited to 'tests/hol4/misc-paper/Holmakefile')
0 files changed, 0 insertions, 0 deletions