diff src/core/sat_main.py @ 395:79fe50fc8edc

memory: multiples params of the same category are now merged
author Goffi <goffi@goffi.org>
date Tue, 04 Oct 2011 23:22:13 +0200
parents c34fd9d6242e
children ccfd69d090c3
line wrap: on
line diff