4 Commits

Include renames

Author	SHA1	Message	Date
Roberto Abdelkader Martínez Pérez	81e74520db	Using current dir as workspace	2019-09-04 16:22:40 +02:00
Roberto Abdelkader Martínez Pérez	4a67424c36	CircleCI config syntax error	2019-09-04 16:21:17 +02:00
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