Fixing PR14007

2013-09-12 10:42:49 -06:00 · 2013-09-12 10:42:49 -06:00 · 28d0ec6d4d
commit 28d0ec6d4d
parent 87c6f891cd
1 changed files with 1 additions and 1 deletions
--- 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