Skip to content

sourcepath: Handle end markers in outline parsing#7717

Merged
smarter merged 2 commits intoscala:masterfrom
dotty-staging:sourcepath-end-marker
Dec 11, 2019
Merged

sourcepath: Handle end markers in outline parsing#7717
smarter merged 2 commits intoscala:masterfrom
dotty-staging:sourcepath-end-marker

Commits

Commits on Dec 11, 2019