5 Commits

Author	SHA1	Message	Date
Benoit Blanchon	9182c2068d	Fixed build-single-header.sh (fixes #1592)	2021-06-21 16:11:02 +02:00
Benoit Blanchon	cb1b3be723	CI: build single headers	2021-06-21 16:11:02 +02:00
Benoit Blanchon	b04b549b34	Delete .bak file produced during publish	2020-01-27 12:10:11 +01:00
Benoit Blanchon	140525b7a0	Fix deployment scripts	2019-09-05 09:36:18 +02:00
Benoit Blanchon	b47ac27ac6	Moved ancillary files to extras/ (fixes #1011)	2019-09-03 15:11:05 +02:00