Open dontrolle opened 7 years ago
The initial simple solution to #4, always uses spaces (and not, say, tabs). Thus, a user fond of tabs instead of spaces, will not have their indent preserved, but rather converted to spaces.
The initial simple solution to #4, always uses spaces (and not, say, tabs). Thus, a user fond of tabs instead of spaces, will not have their indent preserved, but rather converted to spaces.