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
Tue, 28 May 2019 15:54:47 -0700 David Barts Put old newline logic back. draft header-includes
Tue, 28 May 2019 15:49:59 -0700 David Barts Rename #include to #load (more descriptive). draft header-includes
Mon, 27 May 2019 20:09:55 -0700 David Barts Add cache. draft header-includes