diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-06-15 13:22:36 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-06-15 13:22:36 +0200 |
| commit | 6428c10c3ba9b1820e62540b6598a09b64e7042e (patch) | |
| tree | 756fc3bea613a6b3c1c6c129175d3e240ae7160a /.gitignore | |
| parent | e78db08d98d5adb4dee3006eea8c3569e383c562 (diff) | |
Support for inverse on points_to
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions