diff --git a/src/HydraFrontend/root/build.tt b/src/HydraFrontend/root/build.tt index 14ec7d09..7a85c182 100644 --- a/src/HydraFrontend/root/build.tt +++ b/src/HydraFrontend/root/build.tt @@ -196,7 +196,7 @@