tree 4cf1e28b70d8cabccbc9c71f06ca3fe61c131cfe
parent f93ade7fdef9786e729179f7e1183d9abcdf73a3
author guy <guy> 1194299107 +0000
committer guy <guy> 1194299107 +0000

From Stephen Donnelly:

	support ERF extension headers;

	collect the ifdefs for different ERF types into a header
	to improve readability;

	add in a couple of new types.