doc

May 18, 2015

520fecf · May 18, 2015

Name	Name	Last commit message	Last commit date
parent directory ..
src	src	Last-minute updates for release notes.	May 18, 2015
KNOWN_BUGS	KNOWN_BUGS	Remove extra newlines at end and beginning of files, add missing newl…	Aug 19, 2010
MISSING_FEATURES	MISSING_FEATURES	Remove extra newlines at end and beginning of files, add missing newl…	Aug 19, 2010
Makefile	Makefile	Add maintainer-check target	Mar 28, 2011
TODO	TODO	Update URL.	Aug 21, 2008
bug.template	bug.template	Stamp 9.2.11.	May 18, 2015

Provide feedback