2 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	2685a8449d	installation patches from Keri Harris	2010-03-05 08:15:02 +00:00
Vítor Manuel de Morais Santos Costa	7058b6b35f	minisat swi interface package.	2009-11-11 10:56:37 +00:00