treewide: editorconfig fixes

- remove trailing whitespace - use spaces for indentation
2021-01-21 13:29:54 +10:00
parent fa2e1dd70a
commit 932941b79c
32 changed files with 74 additions and 75 deletions
@@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
    sha256 = "3ce1a53fa452ff5a9ba618864d3bc46ef32190b57202d1e996ca7df837ad4f24";
  };

-  makeFlags = [ 
+  makeFlags = [
    "DESTDIR=$(out)/lib/ocaml/${ocaml.version}/site-lib/gmp"
  ];