diff options
| author | jao <jao@gnu.org> | 2018-06-24 01:54:28 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-06-24 01:54:28 +0100 |
| commit | 741b803b943430a262ec36658b13830733e17b48 (patch) | |
| tree | da40a2aa66691e494e4c22cba24eb5d1dc0b71e7 /.hlint.yaml | |
| parent | 9c5f9b26bc19975f2486a11941821089ee62562a (diff) | |
| download | xmobar-741b803b943430a262ec36658b13830733e17b48.tar.gz xmobar-741b803b943430a262ec36658b13830733e17b48.tar.bz2 | |
hlinting
Diffstat (limited to '.hlint.yaml')
| -rw-r--r-- | .hlint.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
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 # |