diff src/tools/config.py @ 2082:e8cb9cc09485

quick frontend(contact_list): avoid crash when resource in cache has not priority
author Goffi <goffi@goffi.org>
date Sun, 02 Oct 2016 13:46:29 +0200
parents 2daf7b4c6756
children 8b37a62336c3
line wrap: on
line diff