]> Git — Sourcephile - doclang.git/commit
make: fix ghcid target
authorJulien Moutinho <julm+hdoc@autogeree.net>
Tue, 18 Dec 2018 11:07:38 +0000 (11:07 +0000)
committerJulien Moutinho <julm+hdoc@autogeree.net>
Tue, 18 Dec 2018 11:07:38 +0000 (11:07 +0000)
commit686f4822affae0a941bbd15a4cdcaf3616a75aec
treea536d722cd7a4956d767534ef7328daa81b2c824
parent797bb2c940ded21aac352f81ee00b6ea0d96ed41
make: fix ghcid target
GNUmakefile