JAL-3744 this obvious attempt to detect/gunzip file input for jalviewjs fails bug/JAL-3744_read_gzip_file_in_jalviewjs
[jalview.git] / help / help /
drwxr-xr-x   ..
-rwxr-xr-x 2472 help.hs
-rwxr-xr-x 10921 help.jhm
-rwxr-xr-x 8981 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons