David Ostrovsky 30d0981942 Inject right plugin name @PluginName in init step ...

@PluginName is injected to the plugin environment. Since plugin can provide
their own names, the right name is injected. During init step the wrong plugin
name was bound, ignoring the plugin name that was defined in MANIFEST file.

Change-Id: I5411c6d796cbb25457df357c173274b27ab909db

2013-10-18 22:14:06 +02:00

..

.settings

Remove timestamp from all org.eclipse.core.resources.prefs files.

2012-07-04 14:06:09 +02:00

src

Inject right plugin name @PluginName in init step

2013-10-18 22:14:06 +02:00

.gitignore

Add Intellij IDEA files to ignore list

2012-05-03 13:17:43 -07:00

BUCK

Remove jsr305 library

2013-09-26 23:12:55 -07:00