diff src/sat.sh @ 539:428fa16363e7

quick frontend: fixed getHistory call
author Goffi <goffi@goffi.org>
date Mon, 12 Nov 2012 10:55:09 +0100
parents a11cde0cdf5b
children 952322b1d490
line wrap: on
line diff