diff options
Diffstat (limited to 'plugins/org.gastro.server.web/.project')
| -rw-r--r-- | plugins/org.gastro.server.web/.project | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/plugins/org.gastro.server.web/.project b/plugins/org.gastro.server.web/.project index 4715ee5961..2b7a453f4d 100644 --- a/plugins/org.gastro.server.web/.project +++ b/plugins/org.gastro.server.web/.project @@ -43,7 +43,7 @@ </dictionary> <dictionary> <key>release.path</key> - <value>/org.eclipse.emf.cdo.releng.release/release.xml</value> + <value>/org.eclipse.emf.cdo.releng/versions/release.xml</value> </dictionary> </arguments> </buildCommand> @@ -54,4 +54,15 @@ <nature>org.eclipse.jdt.core.javanature</nature> <nature>org.eclipse.oomph.version.VersionNature</nature> </natures> + <filteredResources> + <filter> + <id>1396938000000</id> + <name></name> + <type>10</type> + <matcher> + <id>org.eclipse.ui.ide.multiFilter</id> + <arguments>1.0-projectRelativePath-matches-true-false-target</arguments> + </matcher> + </filter> + </filteredResources> </projectDescription> |