comparison src/sat.tac @ 1017:0ea97f483464

core (log): added "custom" backend
author Goffi <goffi@goffi.org>
date Thu, 08 May 2014 19:11:20 +0200
parents e40d9858cb83
children a836b6da2c5c
comparison
equal deleted inserted replaced
1016:0c361fdc76af 1017:0ea97f483464