slightly alter the user agent
[spider.git] / spider-web / PersonalPreferences.java
2001-04-28 minimaadd another java client