diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2023-01-12 19:39:21 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2023-01-12 19:39:21 +0100 |
| commit | 82ba23e64ab16d701872dd262bf0d960c7cb8a68 (patch) | |
| tree | 7853884183b2afecc3c61bd7eec53eb9c6853e4d /.gitignore | |
| parent | 16cad0b9f0ec2c427a4395364c6488042ad9bf93 (diff) | |
Remove Picnic Error Prone Support.
Change-Id: I3978fc97fc232ed182f4331011e513ef9d443c0e
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions