diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-20 14:58:57 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-20 14:58:57 +0200 |
| commit | 3e545d7378568bc853b7ee865dbf42fd65bafe12 (patch) | |
| tree | c719652de05bc9c19f0d35cd8bd0db8ed30f5fb8 /.gitignore | |
| parent | be29c982e43261873a57149371a2d75966d14802 (diff) | |
| download | dotty-3e545d7378568bc853b7ee865dbf42fd65bafe12.tar.gz dotty-3e545d7378568bc853b7ee865dbf42fd65bafe12.tar.bz2 dotty-3e545d7378568bc853b7ee865dbf42fd65bafe12.zip | |
Maintain point for positions of definitions
This is needed to figure out where the defined name is in a
definition.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions