summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-10-28 22:21:45 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-10-28 22:21:45 -0700
commitadc78c85809fb2f79f967d29713e2d9f520aea5b (patch)
tree78cf9557f56b748f89c5cfdf9f4468080f94da63 /.gitignore
parenteb8087e9714eaeb8b1427e7fd9cd2a703487b383 (diff)
Rename number_of_emphasis_openers -> emphasis_nestlevel.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions