summaryrefslogtreecommitdiff
path: root/Test
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-07-30 23:46:48 +0000
committerGravatar tabarbe <unknown>2010-07-30 23:46:48 +0000
commitdf2c4c1633ee36f5183b325198d31ecb47108002 (patch)
treefbccd1f44057b369bb424ee2149400e2b8356b4f /Test
parent71d2692bc427232d71707d3b241ee90b6278b06b (diff)
Boogie: Removed cce.cs's from the provers, because they all reference projects which have a (more up-to-date) copy of cce.cs.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions