diff options
author | Dani Megert | 2017-06-29 17:00:48 +0000 |
---|---|---|
committer | Dani Megert | 2017-06-29 17:00:48 +0000 |
commit | 0079e0194b03924b122d03f87575c589deb897d4 (patch) | |
tree | 42f04a6c539f958c5a21b913d6fecb02e53fa65f | |
parent | cf5e951ab6d3c7061ac59c573de9103c1f6a04e4 (diff) | |
download | eclipse.platform.text-0079e0194b03924b122d03f87575c589deb897d4.tar.gz eclipse.platform.text-0079e0194b03924b122d03f87575c589deb897d4.tar.xz eclipse.platform.text-0079e0194b03924b122d03f87575c589deb897d4.zip |
Clean up after othersI20170702-2000I20170701-2000I20170630-2000I20170630-0410I20170629-2000
-rw-r--r-- | org.eclipse.ui.genericeditor/.settings/.api_filters | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/org.eclipse.ui.genericeditor/.settings/.api_filters b/org.eclipse.ui.genericeditor/.settings/.api_filters new file mode 100644 index 00000000000..79ce6d23c9a --- /dev/null +++ b/org.eclipse.ui.genericeditor/.settings/.api_filters @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<component id="org.eclipse.ui.genericeditor" version="2"> + <resource path="META-INF/MANIFEST.MF"> + <filter comment="New extension point has been added. This is not captured by API Tools" id="926941240"> + <message_arguments> + <message_argument value="1.1.0"/> + <message_argument value="1.0.0"/> + </message_arguments> + </filter> + </resource> +</component> |