fix a bug introduced in 1fb38442d3a55ac92795aa6c5ed4df82011df724,
[ghc-hetmet.git] / distrib / mkDocs /
drwxr-xr-x   ..
-rw-r--r-- 624 mkDocs