diff src/sat.tac @ 296:d1cc69161f3f

typo
author Goffi <goffi@goffi.org>
date Fri, 18 Feb 2011 22:23:09 +0100
parents f7bd973bba5a
children 15a12bf2bb62
line wrap: on
line diff