From ae0f8943268c42b1985f3b8a0c5bcf2102ed3a87 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 25 Jun 2021 12:08:47 +0200 Subject: Add initial files --- .ghcid | 1 + 1 file changed, 1 insertion(+) create mode 100644 .ghcid (limited to '.ghcid') diff --git a/.ghcid b/.ghcid new file mode 100644 index 0000000..8a442e6 --- /dev/null +++ b/.ghcid @@ -0,0 +1 @@ +--warnings -T ":main" -- cgit