.hgignore
author lammich <lammich@in.tum.de>
Mon, 09 Jul 2018 11:57:12 +0200
changeset 69948 7c35ab688cb8
parent 69919 db20be610639
permissions -rw-r--r--
corr 11
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
69810
abb251c0c725 building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents: 69809
diff changeset
     1
syntax: glob
69809
fe96cdabf88e Isabelel via symlink
lammich <lammich@in.tum.de>
parents:
diff changeset
     2
isabelle
69810
abb251c0c725 building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents: 69809
diff changeset
     3
*~
69919
db20be610639 hgignores
lammich <lammich@in.tum.de>
parents: 69911
diff changeset
     4
69810
abb251c0c725 building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents: 69809
diff changeset
     5
subinclude:Slides/.hgignore
69919
db20be610639 hgignores
lammich <lammich@in.tum.de>
parents: 69911
diff changeset
     6
subinclude:SS18/Slides/.hgignore
69911
ce9b78dad28c SS18 and ex 1+2
lammich <lammich@in.tum.de>
parents: 69815
diff changeset
     7
subinclude:SS17/Exercises/.hgignore
ce9b78dad28c SS18 and ex 1+2
lammich <lammich@in.tum.de>
parents: 69815
diff changeset
     8
subinclude:SS18/Exercises/.hgignore
69815
d6246c6d57b5 Removed and ignored generated folders from repo
lammich <lammich@in.tum.de>
parents: 69810
diff changeset
     9
69911
ce9b78dad28c SS18 and ex 1+2
lammich <lammich@in.tum.de>
parents: 69815
diff changeset
    10