diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-05 13:42:48 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-05 13:42:48 +0200 |
| commit | 0d8e6660b2d8fffd45bfbb243dee41a46513b859 (patch) | |
| tree | a1003aa6d7dd20656cc1f0eb15bea651718b3847 /tests/common/satisfy/t0d | |
| parent | 57621f681bbba48aee65f5a8d629d7aae527635b (diff) | |
Minor diagnostics tweak
Diffstat (limited to 'tests/common/satisfy/t0d')
0 files changed, 0 insertions, 0 deletions