comparison src/sat.tac @ 461:4e361d295bca

core: typo
author Goffi <goffi@goffi.org>
date Wed, 14 Mar 2012 23:41:06 +0100
parents cf005701624b
children 2a072735e459
comparison
equal deleted inserted replaced
460:fb1abc0f8c6a 461:4e361d295bca