diff src/sat.tac @ 359:eb9d33ba4e36

bridge: templates' constants can now be overrided
author Goffi <goffi@goffi.org>
date Mon, 06 Jun 2011 18:35:30 +0200
parents 0a8eb0461f31
children cf005701624b
line wrap: on
line diff