aboutsummaryrefslogtreecommitdiff
path: root/doc/documentation/.gitignore
Commit message (Expand)AuthorAge
* doc/documentation split into doc/tutorial and doc/handbook for clarity and to...Christian Grothoff2018-10-25
* update ignoreChristian Grothoff2018-05-20
* create .gitignoreChristian Grothoff2018-01-01