tree 3157894ea71ade784538ec198bd7f80461c151bd
parent b91fb352e9ac56b1f53f86b5870c36d1f116e830
author Alex Ruiz <alruiz@google.com> 1337101752 -0700
committer Alex Ruiz <alruiz@google.com> 1337101752 -0700

Fixed: [Issue 217] Error markers never disappear.

Added to plugin.xml the missing parts from plugin.xml_gen.