amend index.html for the correct manual names
[spider.git] / SpiderConsole / src /
2001-04-18 minimaadd the Java Client from M0AZM