comparison src/sat.tac @ 296:d1cc69161f3f

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