Commit 28525a57f3a7ba4e821e7300ac9c74a1dbcadc24 Parent 2bcca4c2118733f14a91eaf585e8ff97e216b6bd Author John MacFarlane <jgm@berkeley.edu> Date Mon, 16 Feb 2015 12:10:10 -0800 Rename CMARK_OPT_SMARTPUNCT -> CMARK_OPT_SMART.