indexing
	description: "Preferences manager for EiffelBuild preferencs."
	date: "$Date$"
	revision: "$Revision$"

class
	GB_PREFERENCE_MANAGER

inherit
	PREFERENCE_MANAGER

	GRAPHICAL_PREFERENCE_FACTORY

create
	make

end -- class GB_PREFERENCE_MANAGER