diff options
author | 2018-04-09 14:16:52 +0200 | |
---|---|---|
committer | 2018-04-09 14:16:52 +0200 | |
commit | 6083ca1d7e654041861ffcd9a835b453717f637f (patch) | |
tree | 50a9c5e27854121968bb3f27b35ef1f4dcedda48 /test-suite/failure/cases.v | |
parent | fe3977512f18c269e82765995ee1e9ba5d6e4b43 (diff) |
Merge script: adds a way for confirmation to expect a newline.
This fulfils Gaetan's wish.
Diffstat (limited to 'test-suite/failure/cases.v')
0 files changed, 0 insertions, 0 deletions