users-guide: Document defaults for remaining optimization flags
authorBen Gamari <ben@smart-cactus.org>
Wed, 8 Feb 2017 20:49:46 +0000 (15:49 -0500)
committerBen Gamari <ben@smart-cactus.org>
Wed, 8 Feb 2017 20:49:46 +0000 (15:49 -0500)
commit41c7437e13494c548de83f10154ff35940748aaf
tree35e3b87798604699c183c96d7c12f809f61652a1
parent7e4e6a7309b2eb74933f95f18d83e74dbf166a7e
users-guide: Document defaults for remaining optimization flags
docs/users_guide/using-optimisation.rst