# HG changeset patch
# User robcast
# Date 1088503704 -7200
# Node ID 0dd38cb2961f4df807259b23ff0699f2ebcc8f0c
# Parent  9f596e9ab6fb1073fd26f14f4edcf45dde8e37bf
*** empty log message ***

diff -r 9f596e9ab6fb -r 0dd38cb2961f client/digitallibrary/dlInfo-js.jsp
--- a/client/digitallibrary/dlInfo-js.jsp	Tue Jun 29 12:06:37 2004 +0200
+++ b/client/digitallibrary/dlInfo-js.jsp	Tue Jun 29 12:08:24 2004 +0200
@@ -1,8 +1,9 @@
 <%@ page language="java" %>
 
 <%!
-// authentication stuff - robert
-// -----------------------------
+/* authentication stuff - robert
+ * -----------------------------
+ */
 // create DocumentBean instance for all JSP requests
 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();