# HG changeset patch # User dnt_bjoernsen # Date 1570716151 -7200 # Node ID af671ee7835e63892073ce6b703c9ca22997880c # Parent 1d4262a68f1f7e641c3c363efb6de413de54df75 mime fix diff -r 1d4262a68f1f -r af671ee7835e artifacts/doc/conf/artifacts/bundu.xml --- a/artifacts/doc/conf/artifacts/bundu.xml Thu Oct 10 15:29:02 2019 +0200 +++ b/artifacts/doc/conf/artifacts/bundu.xml Thu Oct 10 16:02:31 2019 +0200 @@ -119,13 +119,13 @@ - + - + @@ -135,8 +135,9 @@ - + + @@ -159,7 +160,7 @@ - + @@ -173,7 +174,7 @@ - + @@ -192,7 +193,7 @@ - + @@ -252,7 +253,7 @@ - + @@ -291,14 +292,13 @@ - - + + + @@ -539,7 +539,7 @@ - + diff -r 1d4262a68f1f -r af671ee7835e gwt-client/src/main/webapp/images/wms_legend/Legende_Standardvegetationszonen.png Binary file gwt-client/src/main/webapp/images/wms_legend/Legende_Standardvegetationszonen.png has changed diff -r 1d4262a68f1f -r af671ee7835e gwt-client/src/main/webapp/images/wms_legend/Legende_UEFD.png Binary file gwt-client/src/main/webapp/images/wms_legend/Legende_UEFD.png has changed diff -r 1d4262a68f1f -r af671ee7835e gwt-client/src/main/webapp/images/wms_legend/info.txt --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gwt-client/src/main/webapp/images/wms_legend/info.txt Thu Oct 10 16:02:31 2019 +0200 @@ -0,0 +1,1 @@ +WMS Legend Files have to be set here. \ No newline at end of file