Update gitignore.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 11 Oct 2019 03:48:14 +0000 (03:48 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 11 Oct 2019 03:48:25 +0000 (03:48 +0000)
commitcaee2a5c4b0cb94f6bb87d02c0ccad76c131061f
tree5d4fca7421b47d15fc6fed55181598994db8b4ec
parent5905c43031658415a3d013e1572bd70e734e3813
Update gitignore.
build-aux/.gitignore [new file with mode: 0644]
doc/.gitignore
doc/manual/.gitignore [new file with mode: 0644]