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