From 31f5dd3f3655fbedac19f64f77844aa5ed79501c Mon Sep 17 00:00:00 2001 From: zowoq <59103226+zowoq@users.noreply.github.com> Date: Wed, 20 Jan 2021 07:20:11 +1000 Subject: treewide: editorconfig fixes - remove trailing whitespace - use spaces for indentation --- pkgs/development/idris-modules/tparsec.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/development/idris-modules') 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 { -- cgit 1.4.1