From 42fc4f686e5d2021f9cb5339402ba1fc7913d8ce Mon Sep 17 00:00:00 2001 From: Mahmoud Ben Hassine Date: Mon, 5 Jun 2023 12:39:44 +0200 Subject: [PATCH] Remove duplicate entry in .gitignore --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index e34622327..300d387ba 100644 --- a/.gitignore +++ b/.gitignore @@ -10,7 +10,6 @@ spring-build derby-home derbydb derby.log -derbydb com.springsource.sts.config.flow.prefs s3.properties .idea