summaryrefslogtreecommitdiff
path: root/test/files/run/existentials3-old.check
Commit message (Expand)AuthorAgeFilesLines
* Backport of SI-6846.Jason Zaugg2013-01-081-2/+2
* SI-5703: normalize refined types moreAdriaan Moors2012-05-031-22/+22
* resurrects manifests in their pre-2.10 gloryEugene Burmako2012-04-231-0/+22