From 003ebb888b5957c07d69388d33e410507a069d10 Mon Sep 17 00:00:00 2001 From: tesobe-daniel Date: Tue, 9 Jan 2024 11:35:51 +0100 Subject: [PATCH] Delete .github/jetty-logging.properties --- .github/jetty-logging.properties | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 .github/jetty-logging.properties diff --git a/.github/jetty-logging.properties b/.github/jetty-logging.properties deleted file mode 100644 index d4922ad195..0000000000 --- a/.github/jetty-logging.properties +++ /dev/null @@ -1,2 +0,0 @@ -org.eclipse.jetty.util.log.class=org.eclipse.jetty.util.log.StdErrLog -org.eclipse.jetty.LEVEL=INFO