hgignores draft
authorlammich <lammich@in.tum.de>
Fri, 20 Apr 2018 10:50:13 +0200
changeset 69919 db20be610639
parent 69918 ce512537a564
child 69920 994af7618cd7
hgignores
.hgignore
SS18/Slides/.hgignore
Slides/.hgignore
--- a/.hgignore	Fri Apr 20 10:47:36 2018 +0200
+++ b/.hgignore	Fri Apr 20 10:50:13 2018 +0200
@@ -1,7 +1,9 @@
 syntax: glob
 isabelle
 *~
+
 subinclude:Slides/.hgignore
+subinclude:SS18/Slides/.hgignore
 subinclude:SS17/Exercises/.hgignore
 subinclude:SS18/Exercises/.hgignore
 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/SS18/Slides/.hgignore	Fri Apr 20 10:50:13 2018 +0200
@@ -0,0 +1,5 @@
+syntax: glob
+tex/*
+document.pdf
+handout.pdf
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Slides/.hgignore	Fri Apr 20 10:50:13 2018 +0200
@@ -0,0 +1,5 @@
+syntax: glob
+tex/*
+document.pdf
+handout.pdf
+