diff src/sat.sh @ 494:385cd2169eb5

core: memory bug fix
author Goffi <goffi@goffi.org>
date Fri, 17 Aug 2012 03:20:40 +0200
parents a11cde0cdf5b
children 952322b1d490
line wrap: on
line diff