6c647456aa7750bd02012159865f85daa71027d9
-rwxr-xr-x 2472 help.hs
-rwxr-xr-x 9916 help.jhm
-rwxr-xr-x 8803 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons