153 Commits

Include renames

Author	SHA1	Message	Date
Benoit Blanchon	140525b7a0	Fix deployment scripts	2019-09-05 09:36:18 +02:00
Benoit Blanchon	4c4c4688a9	Fix src/ path in Makefile	2019-09-04 09:13:09 +02:00
Benoit Blanchon	b47ac27ac6	Moved ancillary files to extras/ (fixes #1011)	2019-09-03 15:11:05 +02:00