1353077811	131.227.8.61	C	geda:gnetlist_ug:introduction	peter-b	created	
1353078031	131.227.8.61	E	geda:gnetlist_ug:introduction	peter-b	Correct header box.	
1353078055	131.227.8.61	E	geda:gnetlist_ug:introduction	peter-b		
1398365904	95.179.44.25	e	geda:gnetlist_ug:introduction	vzh	Fix option name displaying	
