.hgignore
author Christian Urban <urbanc@in.tum.de>
Sat, 26 Nov 2011 09:44:34 +0000
changeset 3051 a06de111c70e
parent 2997 132575f5bd26
child 3082 a6b0220fb8ae
permissions -rw-r--r--
updated to Isabelle 26 Nov
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2980
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
     1
syntax: glob
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
     2
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
     3
*~
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
     4
.#*
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
     5
2997
132575f5bd26 Add lmcs-paper to hgignore
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents: 2980
diff changeset
     6
LMCS-Paper/generated
132575f5bd26 Add lmcs-paper to hgignore
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents: 2980
diff changeset
     7
LMCS-Paper/document.pdf
132575f5bd26 Add lmcs-paper to hgignore
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents: 2980
diff changeset
     8
lmcs-paper.pdf
132575f5bd26 Add lmcs-paper to hgignore
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents: 2980
diff changeset
     9
2980
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    10
ESOP-Paper/generated
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    11
ESOP-Paper/document.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    12
esop-paper.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    13
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    14
Fun-Paper/generated
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    15
Fun-Paper/document.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    16
fnpaper.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    17
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    18
Pearl-jv/generated
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    19
Pearl-jv/document.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    20
pearl-jv.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    21
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    22
Pearl/generated
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    23
Pearl/document.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    24
pearl.pdf
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset
    25