mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-12 19:45:22 +02:00
Code Issues Wiki Activity

Corrected @since tag.

Browse source
This commit is contained in:
Sergey Prigogin 2013-02-07 10:39:52 -08:00
parent 741b41c452
commit dfdb59e599
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/index/IIndexManager.java
View file

@ -117,7 +117,7 @@ public interface IIndexManager extends IPDOMManager {
* content provided via the ReadOnlyIndexFragmentProvider or ReadOnlyPDOMProvider, which is not * content provided via the ReadOnlyIndexFragmentProvider or ReadOnlyPDOMProvider, which is not
* disabled for the editor shall be included in the resulting index. * disabled for the editor shall be included in the resulting index.
* *
* @since 5.5 * @since 5.4
*/ */
public static final int ADD_EXTENSION_FRAGMENTS_EDITOR = 0x400; public static final int ADD_EXTENSION_FRAGMENTS_EDITOR = 0x400;