diff src/sat.sh @ 902:485975c1e0ca

frontends: added SYNTAX_TEXT in the constants
author souliane <souliane@mailoo.org>
date Mon, 10 Mar 2014 22:19:11 +0100
parents 952322b1d490
children cbf4122baae7
line wrap: on
line diff