comparison src/sat.tac @ 295:5e00f8123001

installation: fixed wokkel hack
author Goffi <goffi@goffi.org>
date Fri, 18 Feb 2011 22:10:38 +0100
parents f7bd973bba5a
children 15a12bf2bb62
comparison
equal deleted inserted replaced
294:9821e3dde550 295:5e00f8123001