From 33d11eb6804a066eabe95eb1cde6531aebb335ad Mon Sep 17 00:00:00 2001 From: fixminer Date: Mon, 6 Apr 2020 12:19:58 +0200 Subject: [PATCH] rename --- pom.xml | 4 ++-- FixPatternMiner.iml => richedit.iml | 7 +++---- 2 files changed, 5 insertions(+), 6 deletions(-) rename FixPatternMiner.iml => richedit.iml (94%) diff --git a/pom.xml b/pom.xml index a893250..da5713d 100755 --- a/pom.xml +++ b/pom.xml @@ -3,11 +3,11 @@ 4.0.0 edu.lu.uni.serval - FixPatternMiner + RichEdit 1.0.0 jar - FixPatternMiner + RichEdit http://maven.apache.org diff --git a/FixPatternMiner.iml b/richedit.iml similarity index 94% rename from FixPatternMiner.iml rename to richedit.iml index e470354..6099ac3 100644 --- a/FixPatternMiner.iml +++ b/richedit.iml @@ -3,10 +3,9 @@ - - - - + + +