aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-01-16 15:28:07 +0100
committerChristian Grothoff <christian@grothoff.org>2020-01-16 15:28:07 +0100
commit649d95adc33afd6331194979adba2e875a8ec7a0 (patch)
tree91f9391d6b0cc6a237c989e6fc2b6699100f65a8 /contrib
parent0a1f6f8ac3438b8a318dd0509c197214ecae4be2 (diff)
more unique naming of commands, clean up revocation dir
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions