treewide: editorconfig fixes
- remove trailing whitespace - use spaces for indentation
This commit is contained in:
@@ -8,7 +8,7 @@ build-idris-package {
|
||||
version = "2020-02-11";
|
||||
|
||||
ipkgName = "TParsec";
|
||||
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
||||
Reference in New Issue
Block a user