[0bf1c2]: metric-providers / org.ossmeter.metricprovider.rascal / plugin.xml History

Parent: [652a7a] (diff)

Child: [8950b4] (diff)

Download this file

plugin.xml    12 lines (10 with data), 325 Bytes 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
<?xml version="1.0" encoding="UTF-8"?>

<?eclipse version="3.4"?>

<plugin>

   <extension

         point="org.ossmeter.platform.managers.metricprovider">

      <metricProviderManager

            manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">

      </metricProviderManager>

   </extension>



</plugin>