Merge pull request #1764 from Xiretza/fix-abcrev-check
authorClaire Wolf <clifford@clifford.at>
Fri, 13 Mar 2020 15:54:19 +0000 (16:54 +0100)
committerGitHub <noreply@github.com>
Fri, 13 Mar 2020 15:54:19 +0000 (16:54 +0100)
commitc0a009139b080078af703bf07f83637ef3c48259
tree154f7de99e934e6da2014895ae6c80ab9eedfae3
parenta0cc795e85541b0326b6d4396a726142f0d0f8bb
parent9dedac50e220d28d96a456b75af61dace18fd7f6
Merge pull request #1764 from Xiretza/fix-abcrev-check

Improve ABC repository management in Makefile