log

age author description
Tue, 28 May 2019 20:20:19 -0700 David Barts Merge in the header-includes branch to the trunk. draft
Tue, 28 May 2019 20:17:10 -0700 David Barts Preliminary revisions to some draft documentation. draft header-includes
Tue, 28 May 2019 17:08:36 -0700 David Barts Allow global character encoding specification. draft header-includes