diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-12-11 13:13:47 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-12-11 13:13:47 +0100 |
| commit | 4587a79071fb7d5b18401d0df3e39accf9b81625 (patch) | |
| tree | e78c2255846e3d03e3c059e84f444663ffd57eec /contrib/update-pp.sh | |
| parent | 781542d3e0e16a748f995ad5b1cfab2fe4e7ad91 (diff) | |
fix bank invocation
Diffstat (limited to 'contrib/update-pp.sh')
0 files changed, 0 insertions, 0 deletions