kili d74f83d278 Update to 2.12.3.		2010-01-01 11:00:49 +00:00
..
DESCR-docs	Update to 2.10.25.	2007-06-06 20:36:23 +00:00
DESCR-main
PLIST-docs	Update to 2.12.3.	2010-01-01 11:00:49 +00:00
PLIST-main	Update to 2.12.2, following the guile update.	2009-10-11 18:56:21 +00:00