comparison src/sat.sh @ 281:1e3e169955b2

typo
author Goffi <goffi@goffi.org>
date Thu, 03 Feb 2011 01:27:09 +0100
parents 0ed5553b5313
children 31804aa9d3da
comparison
equal deleted inserted replaced
280:345844caf048 281:1e3e169955b2