JAL-1286 URL stream reader tries to use a GZIPInputStream if URL ends in .gz
[jalview.git] / dist /
drwxr-xr-x   ..
-rw-r--r-- 18 .cvsignore