diff options
| -rw-r--r-- | org.eclipse.debug.ui/.settings/.api_filters | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/.settings/.api_filters b/org.eclipse.debug.ui/.settings/.api_filters index b6cbd924f..af52b57ed 100644 --- a/org.eclipse.debug.ui/.settings/.api_filters +++ b/org.eclipse.debug.ui/.settings/.api_filters @@ -1,5 +1,13 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> <component id="org.eclipse.debug.ui" version="2"> + <resource path="META-INF/MANIFEST.MF"> + <filter comment="Added the hover support for generic editor" id="926941240"> + <message_arguments> + <message_argument value="3.13.0"/> + <message_argument value="3.12.50"/> + </message_arguments> + </filter> + </resource> <resource path="ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationViewer.java" type="org.eclipse.debug.internal.ui.launchConfigurations.LaunchConfigurationViewer"> <filter comment="Known illegal extension" id="571473929"> <message_arguments> |