From fdf8e1cb537d22af06e0a50708127f36641df09c Mon Sep 17 00:00:00 2001 From: Sridhar Ratnakumar <3998+srid@users.noreply.github.com> Date: Mon, 31 May 2021 22:26:25 -0400 Subject: [PATCH] Remove cli args --- .ghcid | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ghcid b/.ghcid index 70709f2..8a442e6 100644 --- a/.ghcid +++ b/.ghcid @@ -1 +1 @@ ---warnings -T ":main -C ./docs" +--warnings -T ":main"