summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-12 12:25:05 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-12 12:25:05 -0400
commitc826168d7e72d3b5454ef581b61faaf11ff3be68 (patch)
tree3bd8222c97e386419a32549465bf9824df9a4811 /.hgignore
parent64c858689d78c4ed5a83363207faca5ecb2cbb91 (diff)
Add guard elim rule
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions