| author | lammich <lammich@in.tum.de> |
| Mon, 09 Jul 2018 11:57:12 +0200 | |
| changeset 69948 | 7c35ab688cb8 |
| parent 69919 | db20be610639 |
| permissions | -rw-r--r-- |
|
69810
abb251c0c725
building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents:
69809
diff
changeset
|
1 |
syntax: glob |
| 69809 | 2 |
isabelle |
|
69810
abb251c0c725
building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents:
69809
diff
changeset
|
3 |
*~ |
| 69919 | 4 |
|
|
69810
abb251c0c725
building two document variants, hgignore files
lammich <lammich@in.tum.de>
parents:
69809
diff
changeset
|
5 |
subinclude:Slides/.hgignore |
| 69919 | 6 |
subinclude:SS18/Slides/.hgignore |
| 69911 | 7 |
subinclude:SS17/Exercises/.hgignore |
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 | 10 |