diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-02-26 11:37:46 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-02-26 11:37:46 -0800 |
| commit | 7f6021d7b2b01a33701eb4e255f1bf40a71b8ef8 (patch) | |
| tree | 9fd25a93c34276f3d213f101d781a3d62f44eb27 /cabal.project | |
| parent | 5375bd1446fbc289e4a846963030bc679613fcc1 (diff) | |
Markdown writer: don't produce redundant header identifier...
when the `gfm_auto_identifiers` extension is set.
Closes #7941.
Diffstat (limited to 'cabal.project')
0 files changed, 0 insertions, 0 deletions