diff options
Diffstat (limited to 'decisions/.gitignore')
-rw-r--r-- | decisions/.gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/decisions/.gitignore b/decisions/.gitignore index a1c2cd9..e6424cb 100644 --- a/decisions/.gitignore +++ b/decisions/.gitignore @@ -1,4 +1,3 @@ -decisions.aux decisions.idx decisions.ilg decisions.ind @@ -15,6 +14,5 @@ decisions.glg decisions.html decisions.deg decisions.der -summary-*.aux -notes-*.aux *.backup +*.aux |