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 |