diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-01-04 14:14:52 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-01-04 14:14:52 +0100 |
| commit | f9abfd54c30dab551472841ddd74fb467e755766 (patch) | |
| tree | aa2bd84cb529a1b7c746e1c9eb1a3d688224755d /README.md | |
| parent | f0c6814a61768155d3e8c08093f365fce6360527 (diff) | |
| download | dotty-f9abfd54c30dab551472841ddd74fb467e755766.tar.gz dotty-f9abfd54c30dab551472841ddd74fb467e755766.tar.bz2 dotty-f9abfd54c30dab551472841ddd74fb467e755766.zip | |
Mark TermRefWithFixedSym as non-final.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions