aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-11-08 20:02:18 +0100
committerRobert Alessi <alessi@robertalessi.net>2018-11-08 20:02:18 +0100
commitcf0049e84bf9ac476cf67e965fcf97ed152b6026 (patch)
tree16e25cff9282db56d341463d275bc878e45b0d0f /.gitignore
parentbb6c3f74b7794ee3213e370cbf35dc8a1a7c3849 (diff)
downloadekdosis-cf0049e84bf9ac476cf67e965fcf97ed152b6026.tar.gz
testapparatus: reset pg_i if 'pg_ii > pg_i' succeeds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions