diff options
Diffstat (limited to 'id.server/.tomcatplugin')
| -rw-r--r-- | id.server/.tomcatplugin | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/id.server/.tomcatplugin b/id.server/.tomcatplugin deleted file mode 100644 index 1916163e0..000000000 --- a/id.server/.tomcatplugin +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?>
-<tomcatProjectProperties>
- <rootDir>/</rootDir>
- <exportSource>false</exportSource>
- <updateXml>true</updateXml>
- <warLocation></warLocation>
- <webPath>/id.server</webPath>
-</tomcatProjectProperties>
|