summaryrefslogtreecommitdiff
path: root/config-daemon.ac
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-08-28 00:19:48 +0200
committerLudovic Courtès <ludo@gnu.org>2019-08-28 00:27:14 +0200
commit48752f277c589435aab4d80947fa80f01577d55d (patch)
tree9c2d869dce51a476a09795671817aa664b4bf6c1 /config-daemon.ac
parent276f598abc12eaae01fbea0c0bbba577a93bcbdb (diff)
downloadpatches-48752f277c589435aab4d80947fa80f01577d55d.tar
patches-48752f277c589435aab4d80947fa80f01577d55d.tar.gz
gnu: agda-ial: Fetch source from Git.
This addresses a 'guix lint' warning. * gnu/packages/agda.scm (agda-ial)[source]: Change to use 'git-fetch'. [arguments]: Change 'install phase accordingly; adjust its 'find-files' regexp.
Diffstat (limited to 'config-daemon.ac')
0 files changed, 0 insertions, 0 deletions