diff src/server/server.py @ 1032:863cc6f97068

pages: path arguments can now be specified in pageRedirect
author Goffi <goffi@goffi.org>
date Mon, 22 Jan 2018 22:18:47 +0100
parents 34240d08f682
children dc6c8c4d8ff6
line wrap: on
line diff