commit 8ca2710a057f79745df3cfee4b4063fe6397ecaf parent dd343f856368e36fa1ea5229d5ba91e96ac9b60d Author: Christian Grothoff <christian@grothoff.org> Date: Mon, 17 Apr 2017 00:37:07 +0200 update ignore files Diffstat:
| A | presentations/comprehensive/.gitignore | | | 7 | +++++++ |
| A | presentations/workshop/.gitignore | | | 7 | +++++++ |
2 files changed, 14 insertions(+), 0 deletions(-)
diff --git a/presentations/comprehensive/.gitignore b/presentations/comprehensive/.gitignore @@ -0,0 +1,7 @@ +main.aux +main.log +main.nav +main.out +main.pdf +main.snm +main.toc diff --git a/presentations/workshop/.gitignore b/presentations/workshop/.gitignore @@ -0,0 +1,7 @@ +main.aux +main.log +main.nav +main.out +main.pdf +main.snm +main.toc