diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-08 21:08:49 +1100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-04 13:20:45 +0200 |
commit | 0a4891153f65315473cac4294b0427a071efa70a (patch) | |
tree | 552a477a270cbad52862a7c9e5b662a2999e2b75 /docs | |
parent | a71cb970b779692d2dd68cd9ba00d2be5e6759be (diff) | |
download | dotty-0a4891153f65315473cac4294b0427a071efa70a.tar.gz dotty-0a4891153f65315473cac4294b0427a071efa70a.tar.bz2 dotty-0a4891153f65315473cac4294b0427a071efa70a.zip |
Fix mal-formatting.
Insert an empty line before "where" in an explanation.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions