summaryrefslogtreecommitdiff
path: root/support/scripts
diff options
context:
space:
mode:
authorschinz <schinz@epfl.ch>2004-10-14 07:47:30 +0000
committerschinz <schinz@epfl.ch>2004-10-14 07:47:30 +0000
commitdd012e5461ae23ce388924fcc78cd438c6d8c322 (patch)
tree92a42bbae99b1b093addd54977f188734b4f5a9f /support/scripts
parent96bc1b2e6f0a9497875a006e8dc9b1ca7cdc08ad (diff)
downloadscala-dd012e5461ae23ce388924fcc78cd438c6d8c322.tar.gz
scala-dd012e5461ae23ce388924fcc78cd438c6d8c322.tar.bz2
scala-dd012e5461ae23ce388924fcc78cd438c6d8c322.zip
- added option -Xrtt to enable support for run-...
- added option -Xrtt to enable support for run-time types
Diffstat (limited to 'support/scripts')
0 files changed, 0 insertions, 0 deletions