From 88b1c30db8b07a9c6af6358b553b591171527b4c Mon Sep 17 00:00:00 2001 From: Gunnar Morling Date: Thu, 4 Jan 2024 18:22:13 +0100 Subject: Leaderboard update --- pom.xml | 1 + 1 file changed, 1 insertion(+) (limited to 'pom.xml') diff --git a/pom.xml b/pom.xml index 5528c9e..477a56e 100644 --- a/pom.xml +++ b/pom.xml @@ -185,6 +185,7 @@ **/.dontdelete **/measurements*.txt **/measurements*.out + out_expected.txt -- cgit v1.2.3