indexing
	description: "Preferences manager for Eiffel comand line compiler."
	date: "$Date$"
	revision: "$Revision$"

class
	EC_PREFERENCE_MANAGER

inherit
	PREFERENCE_MANAGER

	BASIC_PREFERENCE_FACTORY

create
	make

end -- class EB_PREFERENCE_MANAGER