diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-11-08 20:02:18 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-11-08 20:02:18 +0100 |
commit | cf0049e84bf9ac476cf67e965fcf97ed152b6026 (patch) | |
tree | 16e25cff9282db56d341463d275bc878e45b0d0f /.gitignore | |
parent | bb6c3f74b7794ee3213e370cbf35dc8a1a7c3849 (diff) | |
download | ekdosis-cf0049e84bf9ac476cf67e965fcf97ed152b6026.tar.gz |
testapparatus: reset pg_i if 'pg_ii > pg_i' succeeds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions