users-guide: Kill extraneous link
authorBen Gamari <ben@smart-cactus.org>
Thu, 22 Dec 2016 18:07:23 +0000 (13:07 -0500)
committerBen Gamari <ben@smart-cactus.org>
Fri, 23 Dec 2016 20:01:56 +0000 (15:01 -0500)
commitf95e6697250ad641efb167ae3cff65eaa5e96d07
treeb1dde36c2b49d31fff6f8723ef1d4a806de34824
parent87121488748c3e7a26fe08a82915ebd42fc49235
users-guide: Kill extraneous link
utils/mkUserGuidePart/Options/Warnings.hs