From f3ea771929df01a6c14b03f7b707502028c47b0d Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Mon, 11 Dec 2017 18:40:24 +0200 Subject: [PATCH] Rmove fpbuild.config --- fpbuild.config | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 fpbuild.config diff --git a/fpbuild.config b/fpbuild.config deleted file mode 100644 index 99fe986..0000000 --- a/fpbuild.config +++ /dev/null @@ -1,8 +0,0 @@ -docker: - repo-suffix: "_ghc-7.8.4.20141229_stackage-lts-1.0" - image-tag: "20150101" - # For fpbuild <= 0.1.0 - registry-username: "dummy" - registry-password: "no-auth-required" -packages: - - "."