[plugin]

name="EditorMenuTools"
description=""
author=""
version=""
script="editor_menu_tools.gd"