build date output in the About box, and build details output on startup when debug...
[jalview.git] / help /
drwxr-xr-x   ..
-rwxr-xr-x 1654 help.hs
-rwxr-xr-x 6373 help.jhm
-rwxr-xr-x 6808 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons