diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2017-05-20 17:13:39 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-05-20 17:13:39 +0300 |
| commit | 178e692397404c9d076b4ecc9fdbc7ccd18489b3 (patch) | |
| tree | e3b889aac13fd193b7847454c007929692751e96 /tests/common/satisfy/t1 | |
| parent | 09d5c8e1b0340d1d827b140020ccf6f6ef6f8465 (diff) | |
Add *.ii to .gitignore
Diffstat (limited to 'tests/common/satisfy/t1')
0 files changed, 0 insertions, 0 deletions