comparison src/sat.sh @ 1200:0059c2bb9bd7

misc: update versions in README4PACKAGERS + typos
author Matteo Cypriani <mcy@lm7.fr>
date Mon, 15 Sep 2014 14:18:25 +0200
parents 02c26e6630d0
children 61c03265e133
comparison
equal deleted inserted replaced
1199:96fb74a4714d 1200:0059c2bb9bd7