diff options
author | zowoq <59103226+zowoq@users.noreply.github.com> | 2021-01-20 07:20:11 +1000 |
---|---|---|
committer | zowoq <59103226+zowoq@users.noreply.github.com> | 2021-01-20 09:11:11 +1000 |
commit | 31f5dd3f3655fbedac19f64f77844aa5ed79501c (patch) | |
tree | c2a0358e4cd260c2e616c3478f0c4c93ab7634de /pkgs/development/idris-modules | |
parent | 33fdfd07d292e911683706640107ae6a15537a92 (diff) | |
download | nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.tar nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.tar.gz nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.tar.bz2 nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.tar.lz nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.tar.xz nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.tar.zst nixpkgs-31f5dd3f3655fbedac19f64f77844aa5ed79501c.zip |
treewide: editorconfig fixes
- remove trailing whitespace - use spaces for indentation
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/tparsec.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/tparsec.nix b/pkgs/development/idris-modules/tparsec.nix index 84f88e1598b..ce040bebe35 100644 --- a/pkgs/development/idris-modules/tparsec.nix +++ b/pkgs/development/idris-modules/tparsec.nix @@ -8,7 +8,7 @@ build-idris-package { version = "2020-02-11"; ipkgName = "TParsec"; - + idrisDeps = [ contrib ]; src = fetchFromGitHub { |