Merge branch 'JAL-986_idwidthprefs' into develop
[jalview.git] / help /
drwxr-xr-x   ..
-rwxr-xr-x 1654 help.hs
-rwxr-xr-x 7084 help.jhm
-rwxr-xr-x 7621 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons