diff options
author | Nadrieril | 2024-04-22 11:55:55 +0200 |
---|---|---|
committer | Nadrieril | 2024-04-22 12:00:20 +0200 |
commit | 40e797fbf4d7bb47ef48597f25fda4e0b78633c7 (patch) | |
tree | c8f415023e96247d23080374b2a74d234b69703f /tests/hol4/misc-external/external_OpaqueScript.sml | |
parent | 1e2fce0e1fa42fa2ba5800332e1fdfcba2294657 (diff) |
ci: check code formatting
Diffstat (limited to 'tests/hol4/misc-external/external_OpaqueScript.sml')
0 files changed, 0 insertions, 0 deletions