diff options
author | 2014-11-06 11:29:10 +0100 | |
---|---|---|
committer | 2014-11-06 17:00:30 +0100 | |
commit | ca609f7ea0653a282a81e5d4f9392b1c05a03d8f (patch) | |
tree | 36a3cf7a8032c5c4040732ae7ea4ef2d71250c4b /test-suite/success/auto.v | |
parent | 34de09e9a072a937f1510d69cad1204a53e007aa (diff) |
Restoring clear_flag (thanks a lot to jonikelee to notice it).
Diffstat (limited to 'test-suite/success/auto.v')
0 files changed, 0 insertions, 0 deletions