comparison src/sat.sh @ 1880:68944e270c40

jp (file): fixed bad quit call
author Goffi <goffi@goffi.org>
date Sat, 05 Mar 2016 13:17:29 +0100
parents 7a07f232e7cb
children a34b4fca16e2
comparison
equal deleted inserted replaced
1879:b43ee22eac98 1880:68944e270c40