indexing

	description: "[

		THIS CLASS WAS AUTO-GENERATED WITH THE COMMAND
		em_settings_generator settings.xml --no-widgets
		DO NOT EDIT THIS CLASS
		
		Settings singleton

	]"
	date: "$Date$"
	revision: "$Revision$"

class SHARED_SETTINGS

feature -- Initialization

	settings: SETTINGS is
			-- Shared settings
		indexing
			once_status: global
		once
			create Result.make
		end

end