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
There are a few different indentation strategies used throughout the source. Some things are using tabs, others are using spaced. @cvogt Which is intended? :)
The text was updated successfully, but these errors were encountered:
@farmdawgnation there are tabs in there? Not indented. In support for cleaning up indentation in general. Let's coordinate to avoid merge conflicts. Also in favour of Scalariform, if we find a nice way to integrate it, maybe a cbt build ;)
There are a few different indentation strategies used throughout the source. Some things are using tabs, others are using spaced. @cvogt Which is intended? :)
The text was updated successfully, but these errors were encountered: