Skip to content

Commit 671aa3a

Browse files
authored
Merge pull request #6896 from dotty-staging/fix-5955
Fix #5955: Remove obsolete doc
2 parents b367bed + 2074a0f commit 671aa3a

File tree

1 file changed

+0
-581
lines changed

1 file changed

+0
-581
lines changed

0 commit comments

Comments
 (0)