diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-01 16:08:09 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-07-06 17:46:46 +0200 |
commit | fd1a732273ce57d8558a5dc81920dc1833d9d9ec (patch) | |
tree | 2bab5bebadf025384b2ba0623a64c47e5e515712 /scripts | |
parent | c73b989fff953a4a71721697e6d30858bc37f189 (diff) | |
download | dotty-fd1a732273ce57d8558a5dc81920dc1833d9d9ec.tar.gz dotty-fd1a732273ce57d8558a5dc81920dc1833d9d9ec.tar.bz2 dotty-fd1a732273ce57d8558a5dc81920dc1833d9d9ec.zip |
Turn global vars into vals
Some globally accessible vars were never updated; should be vals.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions