diff options
| author | Son Ho | 2024-04-07 14:47:36 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-07 14:47:36 +0200 |
| commit | a9a2f81e365eeef4fd157fb56cd5107f95c91163 (patch) | |
| tree | 96fb3a03ae2dc598b518a8606bf9f3c3eea3f824 /backends/hol4/Holmakefile | |
| parent | 581d5c0cb8e618382fa41e5a42175560283ff0a1 (diff) | |
Improve the error messages further
Diffstat (limited to 'backends/hol4/Holmakefile')
0 files changed, 0 insertions, 0 deletions