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 | patches-2cf0221f0e5d380ca164a2e89f5da6980ea40731.tar patches-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