diff options
author | odersky <odersky@gmail.com> | 2017-01-05 17:44:48 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-05 17:44:48 +0700 |
commit | 2498cf9c18b5778df24ee944008ea72ff0fcab2c (patch) | |
tree | a3533127f188d03420576c7f4a7aecf2c5c1a9e4 /docs/js/index.js | |
parent | 3922cce7afc295f7816397ebf2d2f59446a89041 (diff) | |
parent | 63d68bf4d3cbac82f6d9faf19acd5589603a17ee (diff) | |
download | dotty-2498cf9c18b5778df24ee944008ea72ff0fcab2c.tar.gz dotty-2498cf9c18b5778df24ee944008ea72ff0fcab2c.tar.bz2 dotty-2498cf9c18b5778df24ee944008ea72ff0fcab2c.zip |
Merge pull request #1879 from dotty-staging/fix-final-vars
Fix #1878: Generate fields for final vars.
Diffstat (limited to 'docs/js/index.js')
0 files changed, 0 insertions, 0 deletions