diff COPYING @ 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 140cec48224a
children
line wrap: on
line diff