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
..
2016-03-31 20:58:19 +08:00
2016-08-05 14:04:23 -04:00
2015-03-20 12:17:27 +11:00
2016-08-12 07:21:59 -04:00
2016-08-05 13:48:23 +03:00