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
While we should probably preserve the same level of indentation in doc comments because of #38, we might still want to convert the indentation character / width? E.g. if you switch from using spaces to tabs, doc comments would be left alone, which means you end up with two different indent styles.
While we should probably preserve the same level of indentation in doc comments because of #38, we might still want to convert the indentation character / width? E.g. if you switch from using spaces to tabs, doc comments would be left alone, which means you end up with two different indent styles.
Right now the result is this:
The text was updated successfully, but these errors were encountered: