diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-16 15:28:07 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-16 15:28:07 +0100 |
| commit | 649d95adc33afd6331194979adba2e875a8ec7a0 (patch) | |
| tree | 91f9391d6b0cc6a237c989e6fc2b6699100f65a8 /contrib | |
| parent | 0a1f6f8ac3438b8a318dd0509c197214ecae4be2 (diff) | |
more unique naming of commands, clean up revocation dir
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions