From 28d0ec6d4da8b71731328a253cde8d80556bb4a3 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 12 Sep 2013 10:42:49 -0600 Subject: [PATCH] Fixing PR14007 --- pkgs/plt-services/meta/pkg-index/official/main.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt index 5acaa8eae0..7fa45e0162 100644 --- a/pkgs/plt-services/meta/pkg-index/official/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt @@ -204,7 +204,7 @@ p lu))))))))))) (define (page/main req) - (redirect-to (main-url page/search empty))) + (redirect-to (main-url page/search (list "!main-distribution" "!main-tests")))) (define (format-time s) (if s