aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorAlexander Biehl <alexbiehl@gmail.com>2017-12-17 11:40:03 +0100
committerAlexander Biehl <alexbiehl@gmail.com>2018-02-01 14:58:18 +0100
commit56c0e317093d2e25412cfa7dd10099c1fe729640 (patch)
tree20165c4f80e789db6a26bee7e2b7963dec3560b8 /doc/.gitignore
parent93c1e6eb9e829a66ff213ec076d529ab008880b3 (diff)
Treat escaped \] better in definition lists (#717)
This fixes #546.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions