Reinhard Pointner 983c65fc58 * if history.xml is invalid xml for some reason just ignore and override the next time it's written to file		2013-10-09 21:25:21 +00:00
..
sourceforge	* if history.xml is invalid xml for some reason just ignore and override the next time it's written to file	2013-10-09 21:25:21 +00:00