Remove (guix build pull).
authorLudovic Courtès <ludo@gnu.org>
Mon, 7 Jan 2019 11:08:33 +0000 (12:08 +0100)
committerLudovic Courtès <ludo@gnu.org>
Mon, 7 Jan 2019 13:40:59 +0000 (14:40 +0100)
commit46cf4cd6766d0a7186af513d33def5637ea8529c
treee328538ced97cc1a2e9a15d25de47811b14ee129
parent3b451546ed9d3f858bfb213eabafdfc3dd4c130f
Remove (guix build pull).

This module had been unused since commit
5f93d97005897c2d859f0be1bdff34c88467ec61 (Oct. 2017).

* guix/build/pull.scm: Delete.
* Makefile.am (MODULES): Remove.
Makefile.am
guix/build/pull.scm [deleted file]