diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-08-02 23:09:18 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-08-02 23:43:29 +0200 |
commit | 35c4aec88db70e3ce450a0bf8e097ac215df20d1 (patch) | |
tree | 975b06adc3e5635cffbaa5f49a1a30bdc722b70c /gnu/system | |
parent | aa1e73a996ad170fecac848f203528aeb3d2173e (diff) | |
download | guix-35c4aec88db70e3ce450a0bf8e097ac215df20d1.tar.gz |
build: Add missing procps patch to the distribution.
The patch was added to gnu/local.mk in d46123aade7bc5226004eb46ee1084dc84f2b30a and inadvertently removed in a subsequent merge. * gnu/local.mk (dist_patch_DATA): Add procps-non-linux.patch.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions