fix #761 also see #762.
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.news / .settings /
2004-10-09 jsurferRSS news reader; initially copied from "all the news"