diff --git a/lhcbnightlyconf/Patches.py b/lhcbnightlyconf/Patches.py index de9c0e71c124a6775776b1d28ee034822778204e..5a42201656a37a938b790691b1ebf31de3eb220c 100644 --- a/lhcbnightlyconf/Patches.py +++ b/lhcbnightlyconf/Patches.py @@ -62,7 +62,6 @@ PROJECT_NAMES = { "Alignment", "MooreOnline", "Panoptes", - "Boole", ] } @@ -89,7 +88,6 @@ SPECIAL_VERSIONS = { "LCG": LCG_DEFAULT_VERSION, "Gaudi": DEFAULT_GAUDI_VERSION, "Online": "master", - "Boole": "master", } }