diff options
| -rw-r--r-- | git/.gitignore-glob | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git/.gitignore-glob b/git/.gitignore-glob index 6368ac8..d07dacb 100644 --- a/git/.gitignore-glob +++ b/git/.gitignore-glob @@ -5,6 +5,7 @@ *.blg *.lof *.log +*.loa *.lot *.nav *.out |