diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-01-15 12:07:18 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-01-15 12:07:18 -0800 |
| commit | 253467a549dcc22384be96041fd6f886c4a7a935 (patch) | |
| tree | 5b69e662415fa0e9c9d13f16707e738f3f77a5d0 /data | |
| parent | 42142182566f64117ad01d324574ee6030878330 (diff) | |
Man writer: Use boldface for inline code.
Closes #7506.
This also allows us to get rid of some special casing
on definition lists that ensured that options in code
spans would be boldface. (If this change is ever reverted,
we'll need that again.)
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions