[plugin]

name="Todo Manager"
description="Dock for managing TODO messages and other notes in your code."
author="Peter de Vroom"
version="2.5.0"
script="plugin.gd"