diff src/sat.sh @ 2193:33b82250eadd

jp (base): raise InternalError if output is used when use_output is not declared
author Goffi <goffi@goffi.org>
date Mon, 13 Mar 2017 23:14:00 +0100
parents 7a07f232e7cb
children a34b4fca16e2
line wrap: on
line diff