diff sat/core/sat_main.py @ 2919:e4715a609d75

memory (sqlite): minor log improvment
author Goffi <goffi@goffi.org>
date Fri, 26 Apr 2019 11:57:26 +0200
parents 25f14fbd364e
children 06f30ad8e110
line wrap: on
line diff