Add -pa and -V to the documentation of time profiling options.
[ghc-hetmet.git] / bindisttest /
drwxr-xr-x   ..
-rw-r--r-- 95 HelloWorld.lhs
-rw-r--r-- 2044 Makefile
-rw-r--r-- 12 expected_output