Commits

Anonymous committed 0ba1042

source filters corrected

Comments (0)

Files changed (1)

 	  <filter pattern="*.diversity" selected="true"/>
 	  <filter pattern="*.domains" selected="true"/>
 	  <filter pattern="*.imports" selected="true"/>
+	  <filter pattern="*.simports" selected="true"/>
 	  <filter pattern="*.module" selected="true"/>
 	  <filter pattern="*.o" selected="true"/>
 	  <filter pattern="*.types" selected="true"/>
 	  <filter pattern="*.depx.*" selected="true"/>
-	  <filter pattern="*.dot" selected="true"/>
-	  <filter pattern="*.graph.xml" selected="true"/>
-	  <filter pattern="Map" selected="true"/>
-	  <filter pattern="diversity" selected="true"/>
-	  <filter pattern="gen*" selected="true"/>	    
+	  <filter pattern="*.deps.*" selected="true"/>
    </extension>
 	<!-- $elseif verion < 3.0 $
 	<extension point="org.eclipse.ui.resourceFilters">