diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-11-15 13:26:49 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-11-15 13:26:49 +0100 |
| commit | 9f60c8c041d9d86ebb701a2532e4d849ca9a9d82 (patch) | |
| tree | eaa0002ded63cc421cb243f0f63bea91a83a5c53 /.gitignore | |
| parent | bf7a660ec0278e56eea0bce413c61a2ba0daeca2 (diff) | |
handle revocation requests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions