summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2016-10-26Actually add the gitignore.Ori Bernstein
2016-10-08Ignore a few other generated files.Ryan Roden-Corrent
2016-10-08Ignore all *.{o,a,use}.Ryan Roden-Corrent
Instead of ignoring these in certain directories, just ignore them across the repo. Currently a number of such files generated during build are not ignored.
2015-09-22Start moving benchmark runner code to Myrddin.Ori Bernstein
2015-05-03Be more specific for gitignore in test/Ori Bernstein
2015-01-21Add vim backup files and ctags tags to gitignore.Ori Bernstein
2015-01-19Add .gitignore.Ryan Gonzalez
This adds a .gitignore file, so that git will ignore generated sources and targets.