naddy 5befe06c11 add a missing va_end(), found by one of espie@'s students		2011-06-14 22:00:13 +00:00
..
patches	add a missing va_end(), found by one of espie@'s students	2011-06-14 22:00:13 +00:00
pkg	update to 1.24: various bug fixes, no major changes	2010-10-28 13:50:30 +00:00
distinfo	update to bugfix release 1.26	2011-03-15 21:10:13 +00:00
Makefile	add a missing va_end(), found by one of espie@'s students	2011-06-14 22:00:13 +00:00