diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-05-23 15:02:55 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-05-23 15:02:55 +0200 |
commit | 2cf0221f0e5d380ca164a2e89f5da6980ea40731 (patch) | |
tree | 645a45f8777614279498d34157be353a48be6f3f /etc | |
parent | bc73a84398fa54b0a11a80c749bf78eb0a58dbe6 (diff) | |
download | guix-2cf0221f0e5d380ca164a2e89f5da6980ea40731.tar guix-2cf0221f0e5d380ca164a2e89f5da6980ea40731.tar.gz |
gnu: pcre: Remove now-unneeded replacement.
* gnu/packages/pcre.scm (pcre)[replacement]: Remove.
(pcre-fixed): Remove.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions