Add missing -Wdeprecations flag to the users guide
authorerdeszt <erdeszt@gmail.com>
Sat, 17 Jun 2017 11:47:10 +0000 (13:47 +0200)
committerBen Gamari <ben@smart-cactus.org>
Mon, 19 Jun 2017 14:59:05 +0000 (10:59 -0400)
commit986deaa5539552f84b4f1d1872ae8a4c8240097e
tree1a8a28c0b38a8458869c62f10aae86f055bea942
parent564a31f32e522398c50828bcf35cf8deeec5e654
Add missing -Wdeprecations flag to the users guide
docs/users_guide/using-warnings.rst
utils/mkUserGuidePart/Options/Warnings.hs