From 131264cd4c90ba8a9857733e8072234b9c05f54f Mon Sep 17 00:00:00 2001
From: Alexander Milster <alexander.milster@gmx.de>
Date: Tue, 5 Dec 2023 10:22:53 +0100
Subject: [PATCH] Deleted Metric record

---
 .../de/jplag/reporting/reportobject/model/Metric.java    | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 core/src/main/java/de/jplag/reporting/reportobject/model/Metric.java

diff --git a/core/src/main/java/de/jplag/reporting/reportobject/model/Metric.java b/core/src/main/java/de/jplag/reporting/reportobject/model/Metric.java
deleted file mode 100644
index d95b1f71a..000000000
--- a/core/src/main/java/de/jplag/reporting/reportobject/model/Metric.java
+++ /dev/null
@@ -1,9 +0,0 @@
-package de.jplag.reporting.reportobject.model;
-
-import java.util.List;
-
-import com.fasterxml.jackson.annotation.JsonProperty;
-
-public record Metric(@JsonProperty("name") String name, @JsonProperty("distribution") List<Integer> distribution,
-        @JsonProperty("topComparisons") List<TopComparison> topComparisons, @JsonProperty String description) {
-}