diff src/sat.sh @ 396:cecd22241d56

memory: avoid duplicate in getParamsCategories
author Goffi <goffi@goffi.org>
date Tue, 04 Oct 2011 23:43:06 +0200
parents e83d0c21d64d
children ac568832a71a
line wrap: on
line diff