-
Committer:
Arthur Borsboom
-
Date:
2016-06-11 12:27:04 UTC
-
Revision ID:
arthurborsboom@gmail.com-20160611122704-j03iothqjcho90iu
Fix: Makefile - distclean function did not do its job properly, leading to a configure issue, reported and fixed by jcfp (#1591497)