Closed rickvdbosch closed 4 years ago
Description:
We should add an .editorconfig file for this repo, which also explicitly sets the whitespace character to be tabs.
For reasoning, please see:
Steps:
Description:
We should add an .editorconfig file for this repo, which also explicitly sets the whitespace character to be tabs.
For reasoning, please see:
Steps: