f9c3431f4a1f674054984ab663766b8102183d31
-rwxr-xr-x 1654 help.hs
-rwxr-xr-x 6617 help.jhm
-rwxr-xr-x 7080 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons