diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-21 18:25:04 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-21 18:25:04 +0200 |
commit | d9e871b5238f43392053e687e28381e2caaed163 (patch) | |
tree | 4dcb70c0d82ca6b2f1df1a78cd02af5a204b7b6a /contrib/update-pp.sh | |
parent | d08ba9393ebb4d51b23611466daa1b7546b17257 (diff) |
add helper script for updating GANA submodule
Diffstat (limited to 'contrib/update-pp.sh')
0 files changed, 0 insertions, 0 deletions