diff 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
line wrap: on
line diff