Daniel Veillard schrieb:

  latest version from git , 2.7.3 based, I ran gdb on xmllint --shell

Phantastic - I've used xmllint a zillion times, but I was totally
unaware it had a --shell option! That's great - thanks, Daniel!

Michael Ludwig
_______________________________________________
xml mailing list, project page  http://xmlsoft.org/
[email protected]
http://mail.gnome.org/mailman/listinfo/xml

Reply via email to