comparison src/sat.sh @ 1673:95522b37bf5a

plugin group blog: minor log change
author Goffi <goffi@goffi.org>
date Wed, 25 Nov 2015 11:17:29 +0100
parents 61c03265e133
children 7a07f232e7cb
comparison
equal deleted inserted replaced
1672:dbd7c79aab2b 1673:95522b37bf5a