From d313b339687630874483310afa0119c09cd1cff1 Mon Sep 17 00:00:00 2001 From: ulrich Date: Tue, 31 Jan 2017 22:14:27 +0000 Subject: [PATCH] Rollen des admin-Benutzers geaendert und Doku nochmals ergaenzt --- web/WEB-INF/web.xml | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/web/WEB-INF/web.xml b/web/WEB-INF/web.xml index 4c06470..912ca8f 100644 --- a/web/WEB-INF/web.xml +++ b/web/WEB-INF/web.xml @@ -1,5 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <web-app version="3.0" xmlns="http://java.sun.com/xml/ns/javaee" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://java.sun.com/xml/ns/javaee http://java.sun.com/xml/ns/javaee/web-app_3_0.xsd"> + <description>Nutzerverwaltung</description> <display-name>Nutzerverwaltung</display-name> <context-param> <param-name>dsname</param-name> -- Gitblit v1.9.3