Drop mkUserGuidePart
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 26 Aug 2017 16:34:23 +0000 (17:34 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 26 Aug 2017 16:34:23 +0000 (17:34 +0100)
commit74a6561d67efe0d2719072cb15885a87fae35696
tree3f21fdb9ed6d6ffce8e7587c9382c2a9f23a7f8f
parentf189ed4db11f35a9f73e8e7bf7ae311a734aefb0
Drop mkUserGuidePart

See #402
src/GHC.hs
src/Settings/Default.hs