summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorng0 <ng0@infotropique.org>2017-10-20 22:05:30 +0000
committerng0 <ng0@infotropique.org>2017-10-20 22:05:30 +0000
commitf454f1fc042c42ee1dc87c7837b655a45ef327b5 (patch)
tree77b048609ff4b08530057449a0f704b899cec70d /doc/.gitignore
parent014558c7599a562b227c7fb4d19d3db961d9f1f1 (diff)
edits in installation.texi
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions