4 Commits

Include renames

Author	SHA1	Message	Date
Benoit Blanchon	6806393285	Wandbox: update compiler version	2022-01-14 09:23:12 +01:00
Benoit Blanchon	dea8387586	Publish script: don't stop if wandbox fails	2022-01-14 09:22:55 +01:00
Benoit Blanchon	8a9a26588c	Fixed publish script	2021-07-03 16:08:36 +02:00
Benoit Blanchon	b47ac27ac6	Moved ancillary files to extras/ (fixes #1011)	2019-09-03 15:11:05 +02:00