diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-21 00:34:50 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-21 00:34:50 +0200 |
| commit | 03886bcebff8d0fb53414a36e3ddd7a1ab25b666 (patch) | |
| tree | 89585aef3bf7e9a647e66518317bbae5cb5d40ee /debian/docs | |
| parent | ee2b2043cf49560e70eb6a62fc883e5073bd2a92 (diff) | |
Handle several verify results
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions