Merge branch 'features/JAL-1738_JAL-345_selectionfromhighlight' into develop
[jalview.git] / help /
drwxr-xr-x   ..
-rwxr-xr-x 2472 help.hs
-rwxr-xr-x 9921 help.jhm
-rwxr-xr-x 8803 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons