note
	description: "Inherit from this class to use the GAME_LIBRARY_CONTROLLER singleton named game_library"
	author: "Louis Marchand"
	date: "Sat, 28 Mar 2015 03:32:15 +0000"
	revision: "2.0"

deferred class interface
	GAME_LIBRARY_SHARED

feature -- Access

	Game_library: GAME_LIBRARY_CONTROLLER
			-- The main controller of the game library
	
end -- class GAME_LIBRARY_SHARED

Generated by ISE EiffelStudio