diff --git a/.orchestra/config/user_options.yml b/.orchestra/config/user_options.yml deleted file mode 100644 index 21081e5c959e118b100ad9482b5803cf511a345e..0000000000000000000000000000000000000000 --- 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