diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-05 16:16:54 +1100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-04 13:20:45 +0200 |
commit | ca039bae393a1d32720d6517baae434b91eefefd (patch) | |
tree | 04806dbf2b0d3b7b7f618b6db09a78659e33ce45 /docs | |
parent | 669c5a8ed52f77942ee1ed7cf5813451d3762579 (diff) | |
download | dotty-ca039bae393a1d32720d6517baae434b91eefefd.tar.gz dotty-ca039bae393a1d32720d6517baae434b91eefefd.tar.bz2 dotty-ca039bae393a1d32720d6517baae434b91eefefd.zip |
Don't pass docstring as a parameter.
It's completely redundant, docstring is just the comment found
at the `start` offset, which is passed anyway.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions