diff options
| -rwxr-xr-x | test/files/jvm5/typerep.check (renamed from test/files/jvm/typerep.check) | 0 | ||||
| -rwxr-xr-x | test/files/jvm5/typerep.scala (renamed from test/files/jvm/typerep.scala) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/files/jvm/typerep.check b/test/files/jvm5/typerep.check index ca93180946..ca93180946 100755 --- a/test/files/jvm/typerep.check +++ b/test/files/jvm5/typerep.check diff --git a/test/files/jvm/typerep.scala b/test/files/jvm5/typerep.scala index 3519a617a7..3519a617a7 100755 --- a/test/files/jvm/typerep.scala +++ b/test/files/jvm5/typerep.scala |