Source code for oioioi.problems.menu from django.utils.translation import gettext_lazy as _ from oioioi.base.menu import MenuRegistry [docs]navbar_links_registry = MenuRegistry(_("Navigation Bar Menu"))