.bat file tidy up plus shake-0.16 compatibility (#392)
[ghc.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 4367 flavours.md
-rw-r--r-- 8302 user-settings.md
-rw-r--r-- 2783 windows.md