diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 12:20:17 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 12:20:17 +0200 |
| commit | d9ca9ee7b1284dce5b1af9aa8422155da53a5585 (patch) | |
| tree | 1139b5002f870a1c5c3170fdfb46a6c14a4b9e67 /contrib/update-pp.sh | |
| parent | 38efe73a3f0292f50369e215f4f2197d08d6125c (diff) | |
run original tests outside of 'make check':
Diffstat (limited to 'contrib/update-pp.sh')
0 files changed, 0 insertions, 0 deletions