Fixing xref re Robby

2010-09-16 11:28:21 -06:00 · 2010-09-16 11:28:21 -06:00 · 4ce56d00ef
commit 4ce56d00ef
parent 4a89ccea5d
1 changed files with 1 additions and 0 deletions
--- a/collects/web-server/scribblings/servlet-env.scrbl
+++ b/collects/web-server/scribblings/servlet-env.scrbl
@ -6,6 +6,7 @@
@(require (for-label web-server/servlet-env
                     web-server/http
                     web-server/managers/lru
+                     web-server/managers/manager
                     web-server/lang/lang-api
                     web-server/private/util
                     web-server/dispatchers/dispatch