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