comparison bin/sat @ 3185:554b3b632378

memory (cache): purge + pathlib: - cache is now purged on backend startup (every file which has passed EOL will be deleted) - use of pathlib, getPath now returns a Path
author Goffi <goffi@goffi.org>
date Wed, 26 Feb 2020 15:54:43 +0100
parents 0b6d56a8f7e3
children e81ad34e8af8
comparison
equal deleted inserted replaced
3184:e8ce30798d15 3185:554b3b632378