2020-02-08 15:01:33 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<?eclipse version="3.4"?>
|
|
|
|
|
<plugin>
|
2020-06-04 21:49:31 +02:00
|
|
|
<extension-point id="detectionParticipant" name="%extension-point.name" schema="schema/participant.exsd"/>
|
2020-02-08 15:01:33 +01:00
|
|
|
"org.eclipse.cdt.cmake.is.core.internal.ui.CompileCommandsJsonParserOptionPage">
|
2020-06-13 22:23:37 -04:00
|
|
|
<extension
|
|
|
|
|
id="CompileCommandsJsonParserMarker"
|
|
|
|
|
name="CMake compile_commands.json parser"
|
|
|
|
|
point="org.eclipse.core.resources.markers">
|
|
|
|
|
<persistent
|
|
|
|
|
value="false">
|
|
|
|
|
</persistent>
|
|
|
|
|
<super
|
|
|
|
|
type="org.eclipse.core.resources.problemmarker">
|
|
|
|
|
</super>
|
|
|
|
|
</extension>
|
2020-02-08 15:01:33 +01:00
|
|
|
</plugin>
|
