diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-04-04 21:54:16 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-04-05 12:03:08 +0200 |
commit | e917027d1f6152475777239fa87a230039f355bb (patch) | |
tree | deb0ad6aab27b31d5ab2a17bf8446bba22703f52 | |
parent | 51fa1b6ea5255b3b9112d0c9c86814019955a2a7 (diff) | |
download | guix-e917027d1f6152475777239fa87a230039f355bb.tar guix-e917027d1f6152475777239fa87a230039f355bb.tar.gz |
gnu-maintenance: Remove unused procedure.
* guix/gnu-maintenance.scm (savannah-package?): Remove.
-rw-r--r-- | guix/gnu-maintenance.scm | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/guix/gnu-maintenance.scm b/guix/gnu-maintenance.scm index eff26cced4..c7972d13a5 100644 --- a/guix/gnu-maintenance.scm +++ b/guix/gnu-maintenance.scm @@ -637,9 +637,6 @@ GNOME packages; EMMS is included though, because its releases are on gnu.org." (lambda (urls) (map rewrite-url urls)))))) -(define savannah-package? - (url-prefix-predicate "mirror://savannah/")) - (define %savannah-base ;; One of the Savannah mirrors listed at ;; <http://download0.savannah.gnu.org/mirmon/savannah/> that serves valid |