diff options
author | Andreas K. Hüttel <dilfridge@gentoo.org> | 2017-02-22 23:12:00 +0100 |
---|---|---|
committer | Andreas K. Hüttel <dilfridge@gentoo.org> | 2017-02-22 23:12:00 +0100 |
commit | 5d6a017bc2a8380f306988a1a21136d425dd8ca0 (patch) | |
tree | 1007cebf19b8d1e4d26f4847f99200c7efd3132c /decisions/.gitignore | |
parent | Add Feb 2017 log (diff) | |
download | council-5d6a017bc2a8380f306988a1a21136d425dd8ca0.tar.gz council-5d6a017bc2a8380f306988a1a21136d425dd8ca0.tar.bz2 council-5d6a017bc2a8380f306988a1a21136d425dd8ca0.zip |
Continue the index experiment
Diffstat (limited to 'decisions/.gitignore')
-rw-r--r-- | decisions/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/decisions/.gitignore b/decisions/.gitignore index 8c7f375..207954b 100644 --- a/decisions/.gitignore +++ b/decisions/.gitignore @@ -6,3 +6,4 @@ decisions.log decisions.out decisions.pdf decisions.toc +summary-*.aux |