Document -ddump-timings
authorBen Gamari <ben@smart-cactus.org>
Wed, 15 Nov 2017 22:28:48 +0000 (17:28 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 16 Nov 2017 20:10:21 +0000 (15:10 -0500)
commit2da7813b771edcb3efb1b067b986d10f5de4beaf
treeb4887225058f7418dd676fc2a5706730c2e551f4
parent2f4638735ad1526d6502a4706bffafffb93e24da
Document -ddump-timings
docs/users_guide/debugging.rst