diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-10-28 22:21:45 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-10-28 22:21:45 -0700 |
| commit | adc78c85809fb2f79f967d29713e2d9f520aea5b (patch) | |
| tree | 78cf9557f56b748f89c5cfdf9f4468080f94da63 /.gitignore | |
| parent | eb8087e9714eaeb8b1427e7fd9cd2a703487b383 (diff) | |
Rename number_of_emphasis_openers -> emphasis_nestlevel.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions