plugins.config
b608d18be65ebranch_devFasterProcess…

plugins.config
View Options

			# A single .jar file can contain multiple plugins, specified in separate lines.
			#
			# The format is: <menu>, "<menu label>", <class name>
			#
			# If something like ("<arg>") is appended to the class name, the setup() method
			# will get that as arg parameter; otherwise arg is simply the empty string.

			Plugins>BIOP, "DEVIL", ch.epfl.biop.DEVIL_