diff options
Diffstat (limited to 'misc/.gitignore')
| -rw-r--r-- | misc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/.gitignore b/misc/.gitignore index 81c83739..2b475b4a 100644 --- a/misc/.gitignore +++ b/misc/.gitignore @@ -2,4 +2,5 @@ /*.dvi /*.log /*.aux +/*.asc /auto |