diff options
| author | Domen Kožar <domen@dev.si> | 2022-01-06 08:39:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-06 08:39:58 +0100 |
| commit | bdc577936ff1214e5fb9c7d0f57ddc4a2241322d (patch) | |
| tree | a7658707dd03c7579e11895d9a11acff4eb32e6b /doc/manual/local.mk | |
| parent | 6d7844695bf14c1fc68f051df0b98db442863fc9 (diff) | |
| parent | 3542d4fe16822bcd94433bf9393fbe17a5297948 (diff) | |
Merge pull request #5749 from GavinRay97/patch-1
Better diagnostics if no valid signature found
Diffstat (limited to 'doc/manual/local.mk')
0 files changed, 0 insertions, 0 deletions