log interfaces/discrete.js @ 1229:bb082e66dfbe

age author description
Tue, 23 Feb 2016 17:57:21 +0000 Nicholas Jillings Merge
Tue, 23 Feb 2016 16:10:22 +0000 Nicholas Jillings Bug #1629: Updated on page progress counter to reflect if using a subset.