diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.server/.settings/.api_filters')
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.server/.settings/.api_filters | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.cdo.server/.settings/.api_filters b/plugins/org.eclipse.emf.cdo.server/.settings/.api_filters index a1ab5b9aed..8c7c4e442c 100644 --- a/plugins/org.eclipse.emf.cdo.server/.settings/.api_filters +++ b/plugins/org.eclipse.emf.cdo.server/.settings/.api_filters @@ -103,6 +103,12 @@ <message_argument value="ServerCDOSession"/> </message_arguments> </filter> + <filter id="574619656"> + <message_arguments> + <message_argument value="Options"/> + <message_argument value="ServerCDOSession"/> + </message_arguments> + </filter> </resource> <resource path="src/org/eclipse/emf/cdo/internal/server/Session.java" type="org.eclipse.emf.cdo.internal.server.Session"> <filter id="574660632"> |