aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/concuerror.mk
AgeCommit message (Expand)Author
2020-06-23plugins/concuerror.mk: Use $(MAKE) instead of hard-coding `make`Jean-Sébastien Pédron
2020-06-18Add initial Concuerror integrationLoïc Hoguin