diff --git a/src/root/jobset.tt b/src/root/jobset.tt index ac246e8f..1a152377 100644 --- a/src/root/jobset.tt +++ b/src/root/jobset.tt @@ -74,23 +74,13 @@