From a80b7392ac0ced6ee15bdd0037dc2ab3a614a9bd Mon Sep 17 00:00:00 2001 From: Florian Festi Date: Fri, 20 May 2016 22:19:17 +0200 Subject: [PATCH] Add links to project pages to web interface --- scripts/boxesserver | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/boxesserver b/scripts/boxesserver index d1948d4..556815f 100755 --- a/scripts/boxesserver +++ b/scripts/boxesserver @@ -119,6 +119,10 @@ flex cuts, holes and slots for screws and more high level functions. result.append("""
  • %s%s
  • """ % ( name, name, docs)) result.append(""" +