diff src/sat.sh @ 2277:637886ac35f6

jp (base): added no_lf in disp() to avoid printing a line feed
author Goffi <goffi@goffi.org>
date Wed, 28 Jun 2017 01:21:49 +0200
parents 7a07f232e7cb
children a34b4fca16e2
line wrap: on
line diff