comparison src/sat.sh @ 325:d62eb9003375

primitivus: removed forgotten debug stuff
author Goffi <goffi@goffi.org>
date Wed, 11 May 2011 19:49:55 +0200
parents 31804aa9d3da
children f147b778511a
comparison
equal deleted inserted replaced
324:b069055320b1 325:d62eb9003375