summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Rustan Leino <unknown>2013-03-05 17:01:25 -0800
committerGravatar Rustan Leino <unknown>2013-03-05 17:01:25 -0800
commit9f7c11c0a12a9b802f23d613abeee91a2fb47743 (patch)
treeff0c5ffd982094c5d03828f1332be03a4d66b4ea /.hgignore
parentc819fabbb8da669952cb7e2e5937c73ff6dcfabe (diff)
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions