.hgignore
author nipkow
Mon, 31 Jul 2017 14:30:33 +0200
changeset 69882 f6d14918f41b
parent 69815 d6246c6d57b5
child 69911 ce9b78dad28c
permissions -rw-r--r--
.
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
*~
abb251c0c725 building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents: 69809
diff changeset
     4
subinclude:Slides/.hgignore
69815
d6246c6d57b5 Removed and ignored generated folders from repo
lammich <lammich@in.tum.de>
parents: 69810
diff changeset
     5
subinclude:Exercises/.hgignore
d6246c6d57b5 Removed and ignored generated folders from repo
lammich <lammich@in.tum.de>
parents: 69810
diff changeset
     6