From 0271343252d99d26e34b3f79247f7791a5c19b00 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 7 Jan 2020 11:49:14 +0000 Subject: [PATCH] Remove unused yum-repo variable. --- Goalfile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Goalfile b/Goalfile index 1f7280c..0df6b07 100644 --- a/Goalfile +++ b/Goalfile @@ -9,9 +9,6 @@ let side-tag = "f32-build-side-999999" # package has been rebuilt. let rebuild-name = "OCaml 4.10.0 (beta 1)" -# Local repository that contains build dependencies. -let yum-repo = "koji-rawhide" - # Packages that are blocked. Any dependent packages are also blocked # automatically. let blocked = [ "ocaml-camlp4" ] -- 1.8.3.1