summaryrefslogtreecommitdiff
path: root/test/files/run/existentials3-old.check
Commit message (Expand)AuthorAgeFilesLines
* Cleaning up type alias usage.Paul Phillips2012-12-281-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