diff -r 6da88269088d -r e1ef99c609eb plugins/c_ext/cext_xsd.xsd --- a/plugins/c_ext/cext_xsd.xsd Mon May 16 12:41:23 2011 +0200 +++ b/plugins/c_ext/cext_xsd.xsd Wed May 18 11:21:10 2011 +0200 @@ -20,6 +20,7 @@ +