diff src/sat.tac @ 588:beaf6bec2fcd

Remove every old-style class.
author Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
date Fri, 18 Jan 2013 17:55:35 +0100
parents ca13633d3b6b
children 84a6e83157c2
line wrap: on
line diff