log js/specification.js @ 2674:b9efbbe0d829

age author description
Thu, 13 Apr 2017 11:36:24 +0100 Nicholas Jillings #191: Now added to <page> nodes the “position” attribute