Your ROOT_URL in app.ini is https://git.bwnetwork.us/ but you are visiting http://git.bwnetwork.us/williemae66741/isabelle2008/labels You should set ROOT_URL correctly, otherwise the web may not work correctly.

Labels Milestones

0 labels

Sort

Alphabetically Reverse alphabetically Least issues Most issues