diff options
-rw-r--r-- | doc/.gitignore | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index daa5ccaa0..fba4b0527 100644 --- a/doc/.gitignore +++ b/doc/.gitignore | |||
@@ -1,7 +1,6 @@ | |||
1 | gnunet-c-tutorial.aux | ||
2 | gnunet-c-tutorial.out | ||
3 | *.log | ||
4 | *.aux | 1 | *.aux |
2 | *.out | ||
3 | *.log | ||
5 | 4 | ||
6 | *.toc | 5 | *.toc |
7 | *.cp | 6 | *.cp |