diff src/server/pages.py @ 1096:01538d8a77be

merge-requests, tickets: new "edit" pages
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 13:04:57 +0200
parents 63ed5f6bd4eb
children 3a7b2b239d3e
line wrap: on
line diff