From ce81fc2003d367db03d9bc9969f9d68d4d89cd41 Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Thu, 15 Oct 2020 15:36:21 +0200
Subject: [PATCH] Remove user_options.yml

---
 .orchestra/config/user_options.yml | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 .orchestra/config/user_options.yml

diff --git a/.orchestra/config/user_options.yml b/.orchestra/config/user_options.yml
deleted file mode 100644
index 21081e5..0000000
--- a/.orchestra/config/user_options.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-#@data/values
-#@overlay/match_child_default missing_ok=True
----
-parallelism: 16
-build_from_source: []
-nonredistributable_base_url: "https://dummydomain.com/nonredistributable/"
-paths:
-  #! orchestra_root: /absolute/path/only
-  #! source_archives: /absolute/path/only
-  #! binary_archives: /absolute/path/only
-  #! tmproot: /absolute/path/only
-  #! sources_dir: /absolute/path/only
-  #! builds_dir: /absolute/path/only
-- 
GitLab