diff options
| author | techknowlogick <techknowlogick@gitea.io> | 2019-12-28 05:43:03 -0500 |
|---|---|---|
| committer | zeripath <art27@cantab.net> | 2019-12-28 10:43:03 +0000 |
| commit | 1ea447aedf50f8340a67ed1705ec145d30385c9d (patch) | |
| tree | 6a7e53dfe189a2f296466415ffae0a06f66f3910 /options | |
| parent | 81e63d0714f1539fcd688cf3e216b0eab89e88aa (diff) | |
| download | gitea-1ea447aedf50f8340a67ed1705ec145d30385c9d.tar.gz gitea-1ea447aedf50f8340a67ed1705ec145d30385c9d.zip | |
Delete conflicting file (#9526)
Case collision with other jboss file
Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Diffstat (limited to 'options')
| -rw-r--r-- | options/gitignore/Jboss | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/options/gitignore/Jboss b/options/gitignore/Jboss deleted file mode 100644 index 75d1731ed9..0000000000 --- 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 |