diff options
Diffstat (limited to 'docs/examples/plugintemplate/src/plugintemplate/TemplatePlugin.scala')
| -rw-r--r-- | docs/examples/plugintemplate/src/plugintemplate/TemplatePlugin.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/examples/plugintemplate/src/plugintemplate/TemplatePlugin.scala b/docs/examples/plugintemplate/src/plugintemplate/TemplatePlugin.scala index b241072301..6cda37d4e3 100644 --- a/docs/examples/plugintemplate/src/plugintemplate/TemplatePlugin.scala +++ b/docs/examples/plugintemplate/src/plugintemplate/TemplatePlugin.scala @@ -16,7 +16,7 @@ class TemplatePlugin(val global: Global) extends Plugin { /** A short description of the plugin, read from the properties file */ val description = PluginProperties.pluginDescription - + /** @todo A description of the plugin's options */ override val optionsHelp = Some( " -P:"+ name +":option sets some option for this plugin") |