From 1ea447aedf50f8340a67ed1705ec145d30385c9d Mon Sep 17 00:00:00 2001 From: techknowlogick <techknowlogick@gitea.io> Date: Sat, 28 Dec 2019 05:43:03 -0500 Subject: [PATCH] Delete conflicting file (#9526) Case collision with other jboss file Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com> --- options/gitignore/Jboss | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 options/gitignore/Jboss diff --git a/options/gitignore/Jboss b/options/gitignore/Jboss deleted file mode 100644 index 75d1731ed..000000000 --- a/options/gitignore/Jboss +++ /dev/null @@ -1,19 +0,0 @@ -jboss/server/all/deploy/project.ext -jboss/server/default/deploy/project.ext -jboss/server/minimal/deploy/project.ext -jboss/server/all/log/*.log -jboss/server/all/tmp/**/* -jboss/server/all/data/**/* -jboss/server/all/work/**/* -jboss/server/default/log/*.log -jboss/server/default/tmp/**/* -jboss/server/default/data/**/* -jboss/server/default/work/**/* -jboss/server/minimal/log/*.log -jboss/server/minimal/tmp/**/* -jboss/server/minimal/data/**/* -jboss/server/minimal/work/**/* - -# deployed package files # - -*.DEPLOYED