1ac0502f1a6cf31fe8316036f071bc9f6eaed7f0
-rwxr-xr-x 2472 help.hs
-rwxr-xr-x 10585 help.jhm
-rwxr-xr-x 8774 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons