comparison sat.tac @ 188:22cbd3837233

updated INSTALL instruction (wokkel MUC branch merge)
author Goffi <goffi@goffi.org>
date Wed, 18 Aug 2010 17:27:33 +0800
parents 12544ea2951f
children 92e4ddd580ae
comparison
equal deleted inserted replaced
187:12544ea2951f 188:22cbd3837233