diff INSTALL @ 41:d24629c631fc

SàT: new constant management, a local dir (~/.sat) is now used
author Goffi <goffi@goffi.org>
date Sat, 19 Dec 2009 20:32:58 +1100
parents 61124cb82fb7
children 22cbd3837233
line wrap: on
line diff