Daira Hopwood
|
e72404eeaf
|
ZIP 304: type issues.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-10-08 15:02:57 +01:00 |
Daira Hopwood
|
f99ae34685
|
More Discussions-To: and Pull-Request: headers.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-09-14 16:53:38 +01:00 |
Daira Hopwood
|
243de7399d
|
ZIP 304: more cosmetics (math fonts).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-08-11 19:50:08 +01:00 |
Daira Hopwood
|
9dee5a8700
|
ZIP 304: cosmetics (math fonts).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-08-11 19:42:42 +01:00 |
Daira Hopwood
|
b0fcda8dfd
|
Publish ZIP 304: generate HTML and index.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-07-19 00:45:06 +01:00 |