diff options
| author | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-04 18:22:13 +0100 |
|---|---|---|
| committer | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-04 18:22:13 +0100 |
| commit | 88b1c30db8b07a9c6af6358b553b591171527b4c (patch) | |
| tree | 0c11359b76c6fd58af1330cd0fb8bde3f7c6ee5c /pom.xml | |
| parent | c3411f60230870f47e09d0d679be92326f8aa9f9 (diff) | |
Leaderboard update
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -185,6 +185,7 @@ <exclude>**/.dontdelete</exclude> <exclude>**/measurements*.txt</exclude> <exclude>**/measurements*.out</exclude> + <exclude>out_expected.txt</exclude> </excludes> </configuration> <executions> |