diff options
| -rw-r--r-- | git/.gitignore-glob | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/git/.gitignore-glob b/git/.gitignore-glob index d07dacb..29e14c6 100644 --- a/git/.gitignore-glob +++ b/git/.gitignore-glob @@ -12,4 +12,3 @@ *.snm *.toc *.vrb - |