aboutsummaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2024-01-28 17:57:48 +0100
committerChristian Grothoff <christian@grothoff.org>2024-01-28 17:57:48 +0100
commit2b115add47166ad1dc9641ec2f3ed1730bf0fc7a (patch)
tree5a55d8d68ed1a01831576f48033c04d6c3653792 /debian
parent3ea15f2e77ae11ca0052ae9bf9e6b33d7ea19c9f (diff)
add option to -h
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions