# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1587931703 -7200
# Node ID 9b865f2604a9c6dedb8bb1bb71dc1bb6d6ee5acc
# Parent  a6c7f07f1e4d0fda6eab3933aece6fcbc90de54e
server (constants): temporarily removed `app` from menu

diff -r a6c7f07f1e4d -r 9b865f2604a9 libervia/server/constants.py
--- a/libervia/server/constants.py	Sun Apr 26 22:07:18 2020 +0200
+++ b/libervia/server/constants.py	Sun Apr 26 22:08:23 2020 +0200
@@ -85,7 +85,9 @@
         "events",
         "tickets",
         "merge-requests",
-        "app",
+        # XXX: app is not available anymore since removal of pyjamas code with Python 3
+        #    port. It should come back at a later point with an alternative (Brython
+        #    probably).
     ]
 
     ## Session flags ##