diff INSTALL @ 1267:b5f920845d34

pages: delete existing cache instead of just ignoring it when `no-cache` is used
author Goffi <goffi@goffi.org>
date Tue, 19 May 2020 11:02:33 +0200
parents 1028a9c366d3
children 0d517b596568
line wrap: on
line diff