diff src/sat.sh @ 797:84214df2d837

primitivus: fixed bad closure, resulting in menus bug.
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 18:02:37 +0100
parents 952322b1d490
children cbf4122baae7
line wrap: on
line diff