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
|
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
|