comparison src/pages/merge-requests/disco/page_meta.py @ 1096:01538d8a77be

merge-requests, tickets: new "edit" pages
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 13:04:57 +0200
parents ed67265205c4
children cdd389ef97bc
comparison
equal deleted inserted replaced
1095:7d5633ccbaf2 1096:01538d8a77be