create .gitignore
authorChristian Grothoff <christian@grothoff.org>
Mon, 1 Jan 2018 14:23:17 +0000 (15:23 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 1 Jan 2018 14:30:05 +0000 (15:30 +0100)
commit8865e30ab9bc1c52af24f1300f0b07e20784fe1c
tree0ab7578eb86d70abadd391367e73c8cbc05ed9cd
parentbdc122cd8c4b27ad06971fe441ce5a45b8863560
create .gitignore
doc/documentation/.gitignore [new file with mode: 0644]