comparison src/sat.sh @ 296:d1cc69161f3f

typo
author Goffi <goffi@goffi.org>
date Fri, 18 Feb 2011 22:23:09 +0100
parents 0ed5553b5313
children 31804aa9d3da
comparison
equal deleted inserted replaced
295:5e00f8123001 296:d1cc69161f3f