aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Collapse)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