plugin.xml

Games for Eclipse这个项目的目的是为 Eclipse IDE(www.eclipse.org project)提供不同的游戏插件。

<?xml version="1.0" encoding="UTF-8"?>
<plugin
   name="Help Plugin"
   id="es.org.chemi.games.minesweeper.help"
   version="1.0.0"
   provider-name="Chemi">

   <extension point="org.eclipse.help.contributions">
      <infoset name="infoSet.xml"/>
      <topics name="topics_infoView_Contents.xml"/>
      <actions name="actions_infoView_Contents.xml"/>
      <topics name="topics_infoView_Index.xml"/>
      <actions name="actions_infoView_Index.xml"/>      
      <topics name="topics_Minesweeper.xml"/>
      <actions name="actions_All.xml"/>   
   </extension>
</plugin>