diff src/server/html_tools.py @ 991:6ce9647011b3

pages(merge-requests): merge requests new, view and list pages implementations.
author Goffi <goffi@goffi.org>
date Fri, 01 Dec 2017 01:08:25 +0100
parents fd4eae654182
children f2170536ba23
line wrap: on
line diff