diff src/browser/sat_browser/xmlui.py @ 1033:c34f08e05cdf

pages: cache is now working even after pageRedirect
author Goffi <goffi@goffi.org>
date Mon, 22 Jan 2018 22:19:26 +0100
parents 8f2c1ea36e96
children f2170536ba23
line wrap: on
line diff