diff options
author | Martin Odersky <odersky@gmail.com> | 2013-02-15 16:04:29 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-02-15 16:04:36 +0100 |
commit | 75fbef7e1c6ecf2d79dd36a62863875fc89127f2 (patch) | |
tree | 24ff30626a4b368e50e6f498e72773b64b757093 /project | |
parent | 2cb396197f65842499e6dd759c87dbaecb658a48 (diff) | |
download | dotty-75fbef7e1c6ecf2d79dd36a62863875fc89127f2.tar.gz dotty-75fbef7e1c6ecf2d79dd36a62863875fc89127f2.tar.bz2 dotty-75fbef7e1c6ecf2d79dd36a62863875fc89127f2.zip |
PreNames as a way to unify Names and Strings.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions