You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have a general policy of stripping all spaces at end of lines on save, since that keeps diffs small. Currently scala3doc sources violate this requirement.
The text was updated successfully, but these errors were encountered:
odersky
changed the title
Doc sources spaces spaces at end of lines
Doc sources contain spaces at end of lines
Nov 1, 2020
We should also make the indentation in doc sources uniform. Right now we have a good opportunity to do both: some PRs to the doctool were merged while we were working on repo migration and we will need to migrate those as well. Since this will anyway disrupt everyone's in-flight branches, we might as well fix the indentation everywhere and ensure we keep it consistent this time.
bishabosha
added a commit
to dotty-staging/dotty
that referenced
this issue
Nov 2, 2020
We have a general policy of stripping all spaces at end of lines on save, since that keeps diffs small. Currently scala3doc sources violate this requirement.
The text was updated successfully, but these errors were encountered: