On Sat, Aug 11, 2018 at 11:09 AM Dirk Hohndel <[email protected]> wrote:
>
>
> Yep, I remembered correctly:
>
> https://stackoverflow.com/a/8328814
Well, that one used hex numbers without a 0x prefix.
Does it perhaps work if you do
<usb-device vendor-id="0x0BDA" product-id="0x8187"/>
instead? Because if the number parsing is based on _anything_ normal,
then it should work.
But if it doesn't, oh well. And I'd blame xml. Because anybody who
ever uses xml gets everything wrong.
Linus
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
