summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-06-15 13:22:36 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-06-15 13:22:36 +0200
commit6428c10c3ba9b1820e62540b6598a09b64e7042e (patch)
tree756fc3bea613a6b3c1c6c129175d3e240ae7160a /.gitignore
parente78db08d98d5adb4dee3006eea8c3569e383c562 (diff)
Support for inverse on points_to
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions