gitignore
Merge branch 'ioannis' of https://github.com/isj/sigmod into ioannis