From 34765705a5a1294199e4d1092cd93ec8f08634f8 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 23 Aug 2007 16:18:38 +0000 Subject: [PATCH] remove unused binding svn: r7153 --- collects/handin-server/status-web-root/servlets/status.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/handin-server/status-web-root/servlets/status.ss b/collects/handin-server/status-web-root/servlets/status.ss index 5eff2ee6a6..e06029f61c 100644 --- a/collects/handin-server/status-web-root/servlets/status.ss +++ b/collects/handin-server/status-web-root/servlets/status.ss @@ -124,7 +124,6 @@ (all-status-page user) (download user tag)))) - (define re:base #rx"^([a-zA-Z]*)([0-9]+)") (define (all-status-page user) (define (cell . texts) `(td ([bgcolor "white"]) ,@texts)) (define (rcell . texts) `(td ([bgcolor "white"] [align "right"]) ,@texts))