2 Commits

Include renames

Author	SHA1	Message	Date
Roberto Abdelkader Martínez Pérez	0590dec632	CircleCI config syntax error fix	2019-09-04 16:16:22 +02:00
Roberto Abdelkader Martínez Pérez	72981365c9	Minor changes parametrizing the Makefile and CircleCI config.	2019-09-04 16:14:44 +02:00