From 2e6ff608d4e1a00d6b2d604512550841d4f76637 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Thu, 11 Apr 2024 11:29:52 +0200 Subject: [PATCH] re-enabled tutor --- pom.xml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index cd68912b4b8..b2a9cec1144 100644 --- a/pom.xml +++ b/pom.xml @@ -156,7 +156,7 @@ package - +