diff options
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 |