diff options
| author | Nadrieril | 2024-05-15 17:09:31 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-15 17:09:31 +0200 |
| commit | cf5dfbd549d2844ae7d491d7bfa85ba5d8f4395a (patch) | |
| tree | 9a6d77aaf73a232d7c1489f1b08c12a2ec1a0977 /tests/hol4/misc-loops/Holmakefile | |
| parent | cbf425d178f9063507585233ebee7ca785567e3a (diff) | |
Makefile: `make check-charon` should not try to recreate the commit pin`
Diffstat (limited to 'tests/hol4/misc-loops/Holmakefile')
0 files changed, 0 insertions, 0 deletions