diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-05 22:39:33 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:05:27 +0200 |
commit | 540aa23583b12483580c8fbb05f1f392758cd8df (patch) | |
tree | 731b963a59088f24ec84e131005968672a503388 /test | |
parent | 91dd827a726a12395d7b84c03d45ca6822bf8f12 (diff) | |
download | dotty-540aa23583b12483580c8fbb05f1f392758cd8df.tar.gz dotty-540aa23583b12483580c8fbb05f1f392758cd8df.tar.bz2 dotty-540aa23583b12483580c8fbb05f1f392758cd8df.zip |
Remove no longer needed Skolemization.scala
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions