Remove old discriminator

2023-06-19 22:53:12 +02:00
parent af53e95349
commit 5d64331479
3 changed files with 23 additions and 20 deletions
@@ -30,4 +30,4 @@ pipeline {
            }
        }
    }
-}
+}