On 01/29/2015 11:50 PM, Martin Kletzander wrote:
> In other words, if you have a group and elements in that group can
> interleave, the group can interleave with other options only as a
> group (no element it can interleave with can be placed inside that
> group) -- that makes sense, until...
> If
On Fri, Jan 30, 2015 at 06:55:05AM +0100, Martin Kletzander wrote:
Let's save 21 lines just because I've found out a way how to convince
xmllint to do something we thought it can't. The first patch is the
brains of this operation, the second one is just a cleaner guy; best
served with '-w'.
O
Let's save 21 lines just because I've found out a way how to convince
xmllint to do something we thought it can't. The first patch is the
brains of this operation, the second one is just a cleaner guy; best
served with '-w'.
Martin Kletzander (2):
schema: Remove unnecessary interface-options
