From 621feae15b188e83ae38da92e1af4df33d1364b3 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Tue, 8 Oct 2013 07:13:25 -0600 Subject: [PATCH] cleanup --- .../meta/pkg-index/official/static.rkt | 6 +- .../meta/pkg-index/official/static/index.html | 4 +- .../meta/pkg-index/official/static/index.js | 113 ++++++++++-------- .../meta/pkg-index/official/static/style.css | 9 ++ 4 files changed, 74 insertions(+), 58 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-index/official/static.rkt b/pkgs/plt-services/meta/pkg-index/official/static.rkt index 1206ae918a..a1fe3ce2c6 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/static.rkt @@ -21,10 +21,8 @@ (convert-to-json v)))] [(? number? n) n] - [#f - #f] - [#t - #t] + [(? boolean? b) + b] [(? symbol? s) (symbol->string s)] [(? keyword? s) diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html index 18fdb9b081..9a368c5723 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.html +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html @@ -14,9 +14,7 @@ jay.mccarthy@gmail.com | curate | rss | re-login | logout -