Added new HeuristicLab icon and removed obsolete resources (#841)
[heuristiclab.git] / HeuristicLab.PluginInfrastructure / 
tree95d72279c411b371d70b02d5307dcd41350b1d3f
drwxr-xr-x   ..
drwxr-xr-x - Advanced
-rw-r--r-- 2175 ApplicationManager.cs
drwxr-xr-x - Attributes
drwxr-xr-x - BaseClasses
-rw-r--r-- 2072 ControlManager.cs
-rw-r--r-- 13298 DefaultApplicationManager.cs
-rw-r--r-- 15768 HeuristicLab.PluginInfrastructure.csproj
-rw-r--r-- 596 HeuristicLab.snk
-rw-r--r-- 1798 ICSharpCode.SharpZipLib License.txt
-rw-r--r-- 188416 ICSharpCode.SharpZipLib.dll
drwxr-xr-x - Interfaces
-rw-r--r-- 2254 InvalidPluginException.cs
-rw-r--r-- 6393 LightweightApplicationManager.cs
-rw-r--r-- 4415 Main.cs
drwxr-xr-x - Manager
-rw-r--r-- 2829 PluginDescriptionIterator.cs
-rw-r--r-- 1651 PluginState.cs
drwxr-xr-x - Properties
-rw-r--r-- 6963 Resources.Designer.cs
-rw-r--r-- 10235 Resources.resx
drwxr-xr-x - Resources
drwxr-xr-x - Sandboxing
drwxr-xr-x - Starter
-rw-r--r-- 7981 app.config