diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2024-05-17 10:42:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-17 10:42:22 +0200 |
| commit | bd8f291bd9cd6e6abba98aaf0ffa2aa98f17e62a (patch) | |
| tree | 7f19a79d2856635f4953b066959aacf31840ea2c /icetime/Makefile | |
| parent | 1a40ae75d4eebee9cce73a2c4d634fd42ed0110f (diff) | |
| parent | 0f99a8fe0508c029c83c3d576877a56d705481fd (diff) | |
Merge pull request #331 from RCoeurjoly/master
Reset procedure after verification fails and before exiting. Refactor…
Diffstat (limited to 'icetime/Makefile')
0 files changed, 0 insertions, 0 deletions