aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* ignore scratch dirBryan Newbold2017-12-111-0/+1
* move papersBryan Newbold2017-10-201-1/+1
* commit a bunch of meta filesBryan Newbold2017-10-181-0/+1
* basic travis script (untested)Bryan Newbold2017-10-181-0/+1
* gitignore: don't skip dat directoriesBryan Newbold2017-10-161-0/+26