diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-01-07 12:08:33 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-07 14:40:59 +0100 |
commit | 46cf4cd6766d0a7186af513d33def5637ea8529c (patch) | |
tree | e328538ced97cc1a2e9a15d25de47811b14ee129 /m4 | |
parent | 3b451546ed9d3f858bfb213eabafdfc3dd4c130f (diff) | |
download | patches-46cf4cd6766d0a7186af513d33def5637ea8529c.tar patches-46cf4cd6766d0a7186af513d33def5637ea8529c.tar.gz |
Remove (guix build pull).
This module had been unused since commit
5f93d97005897c2d859f0be1bdff34c88467ec61 (Oct. 2017).
* guix/build/pull.scm: Delete.
* Makefile.am (MODULES): Remove.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions