From ef071309ecbd1ac30caf26ee499d7cd6f58eadfa Mon Sep 17 00:00:00 2001 From: ucrhh Date: Thu, 11 Feb 2021 11:23:11 +0100 Subject: [PATCH] add package-info to LatexCreator package --- .../typeinferencecontent/latexcreator/package-info.java | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/package-info.java diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/package-info.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/package-info.java new file mode 100644 index 0000000..e98c7ff --- /dev/null +++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/package-info.java @@ -0,0 +1,7 @@ +/** + * This package contains the needed classes for creating latex code to display all the structures created by the model. + */ +@NonNullApi +package edu.kit.typicalc.view.content.typeinferencecontent.latexcreator; + +import org.springframework.lang.NonNullApi; \ No newline at end of file