comparison src/sat.sh @ 1780:4beb613d277c

tmp (wokkel.rsm): fixed forgotten method renaming
author Goffi <goffi@goffi.org>
date Thu, 07 Jan 2016 22:48:49 +0100
parents 61c03265e133
children 7a07f232e7cb
comparison
equal deleted inserted replaced
1779:1fa50da8bfbe 1780:4beb613d277c