comparison xmllint.js @ 559:7567dda76333 Dev_main

Bug #1629: Updated on page progress counter to reflect if using a subset.
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Tue, 23 Feb 2016 16:10:22 +0000
parents 9d73d9f6b03e
children
comparison
equal deleted inserted replaced
558:37f07218f744 559:7567dda76333