# HG changeset patch # User Mike Becker # Date 1697049686 -7200 # Node ID 9817c08f96379cfea61e03ce9015d4ffa2934085 # Parent 0a663c3692a0b0207e02bd774a0bd7aa7759af3a arg attribute in option element is required diff -r 0a663c3692a0 -r 9817c08f9637 uwproj.xsd --- a/uwproj.xsd Tue Oct 10 20:33:49 2023 +0200 +++ b/uwproj.xsd Wed Oct 11 20:41:26 2023 +0200 @@ -212,7 +212,7 @@ - +