diff docs/raw/tools.pxm @ 726:6e92b5cd0163

purge: Delete the whole cache directory, not just the current sub-cache.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 29 May 2016 22:18:50 -0700
parents 26e59f837558
children
line wrap: on
line diff