Ian Wienand 0385caa2ee Fix comment in plugin-registry header ...

Fix the comment to actually be a comment.  Regenerate page.

Although we've got a pretty cool system for generating this, I wonder
if anyone actually looks at it?  Maybe it's just helpful as a form of
SEO.

Change-Id: I15aaa983716f9ee897293c2954ca7ae561951372

2016-08-31 10:07:06 +10:00

..

devstack-plugins-registry.header

Fix comment in plugin-registry header

2016-08-31 10:07:06 +10:00