indexing
	description: "A command that do nothing"
	date: "$Date$"
	revision: "$Revision$"

class
	DO_NOTHING_CMD

inherit
	BUILD_CMD

feature

	execute is
		do
		end

end -- class DO_NOTHING_CMD