comparison 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
comparison
equal deleted inserted replaced
538:2c4016921403 539:428fa16363e7