summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2016-12-13Ignore binaries and oasis-generated files.Daniil Baturin
If we ever modify those files, we'll remove them from .gitignore of course.
2015-01-31Initial commitDaniil Baturin