JAL-1188 - set the user agent to Jalview Desktop/${VERSION}
[jalview.git] / src / jalview / bin /
drwxr-xr-x   ..
-rwxr-xr-x 27465 Cache.java
-rwxr-xr-x 32983 Jalview.java
-rw-r--r-- 76220 JalviewLite.java
-rw-r--r-- 4003 JalviewLiteURLRetrieve.java