diff options
author | ng0 <ng0@infotropique.org> | 2017-10-25 19:03:06 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-10-25 19:03:06 +0000 |
commit | 27ee4969b3bad09bd5230c267416350c495dd642 (patch) | |
tree | ebdb4f501747d806af0367ee7e8ac3452cabe879 /doc/.gitignore | |
parent | 3621e1ccac016448744c7ac9bfb80f6290245a1f (diff) | |
download | gnunet-27ee4969b3bad09bd5230c267416350c495dd642.tar.gz gnunet-27ee4969b3bad09bd5230c267416350c495dd642.zip |
fix
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index f46d61e70..d3743107e 100644 --- a/doc/.gitignore +++ b/doc/.gitignore | |||
@@ -5,7 +5,6 @@ | |||
5 | *.toc | 5 | *.toc |
6 | *.cp | 6 | *.cp |
7 | *.cps | 7 | *.cps |
8 | *.html | ||
9 | *~ | 8 | *~ |
10 | *.info | 9 | *.info |
11 | *.info-1 | 10 | *.info-1 |