From 741b803b943430a262ec36658b13830733e17b48 Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Sun, 24 Jun 2018 01:54:28 +0100
Subject: hlinting

---
 .hlint.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.hlint.yaml')

diff --git a/.hlint.yaml b/.hlint.yaml
index b68de82..aca5666 100644
--- a/.hlint.yaml
+++ b/.hlint.yaml
@@ -12,7 +12,7 @@
 - ignore: {name: "Use <$>"}
 - ignore: {name: "Use uncurry"}
 - ignore: {name: "Reduce duplication"}
-
+- ignore: {name: "Use sortOn"}
 
 # Specify additional command line arguments
 #
-- 
cgit v1.2.3