diff src/core/sat_main.py @ 1200:0059c2bb9bd7

misc: update versions in README4PACKAGERS + typos
author Matteo Cypriani <mcy@lm7.fr>
date Mon, 15 Sep 2014 14:18:25 +0200
parents 7d640c303140
children 9c17bd37e6e5
line wrap: on
line diff