aboutsummaryrefslogtreecommitdiff
path: root/contrib/pp
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-12-20 20:10:46 +0100
committerChristian Grothoff <christian@grothoff.org>2019-12-20 20:10:46 +0100
commit8af89ff197715427763c1c80d62d96e517760434 (patch)
tree9688037931b7d58b13d9cb4469b98a0954c6a38b /contrib/pp
parentb554f1e9095e5c910c6cf58e040565d0ca911bca (diff)
misc release preparations: mostly fixing 'make dist' target
Diffstat (limited to 'contrib/pp')
0 files changed, 0 insertions, 0 deletions