diff src/browser/sat_browser/html_tools.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 fd4eae654182
children f2170536ba23
line wrap: on
line diff