log

age author description
Mon, 27 May 2019 18:14:14 -0700 David Barts Fix bug in auto-generated include variables. draft header-includes
Mon, 27 May 2019 18:05:42 -0700 David Barts Refinements. draft header-includes
Mon, 27 May 2019 15:17:25 -0700 David Barts Improve the #include syntax a bit. draft header-includes
Mon, 27 May 2019 14:58:40 -0700 David Barts Fix minor bug in error handling. draft header-includes