diff -r 89087a6af16a -r d73537b925af src/main/webapp/WEB-INF/web.xml --- a/src/main/webapp/WEB-INF/web.xml Sat Jul 15 13:49:36 2023 +0200 +++ b/src/main/webapp/WEB-INF/web.xml Mon Jul 17 14:45:42 2023 +0200 @@ -12,6 +12,10 @@ available-languages en,de + + hg-binary + /usr/bin/hg + Application Database jdbc/lightpit/app