aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2017-06-15gitignore: Add ipynb/server.urlValentin Schneider
2016-09-22Ignore vagrant symlinkBrendan Jackman
2016-09-22Ignore PID files created by lisa_shellBrendan Jackman
2016-09-22.gitignore: Add '/' to ignored files in root directoryBrendan Jackman
2016-06-24Vagrantfile: install Android SDK if not presentMichele Di Giorgio
2016-01-20Ignore compilation/execution productsPatrick Bellasi