Manual: The -ddump-cmm-* flags had a wrong spelling in the manual
authorJoachim Breitner <mail@joachim-breitner.de>
Sat, 28 Oct 2017 21:35:31 +0000 (17:35 -0400)
committerJoachim Breitner <mail@joachim-breitner.de>
Sat, 28 Oct 2017 21:35:31 +0000 (17:35 -0400)
commit922db3dac896b8cf364c9ebaebf1a27c2468c709
treeed07b38d665300fed3f8f7b800983815d48c5be7
parentfaf60e858a293affca463043c830e1edb5685003
Manual: The -ddump-cmm-* flags had a wrong spelling in the manual
docs/users_guide/debugging.rst