Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Modify TOC depth #193

Closed
wants to merge 1 commit into from
Closed

Modify TOC depth #193

wants to merge 1 commit into from

Conversation

betatim
Copy link
Contributor

@betatim betatim commented Apr 25, 2017

Fixes #158 not sure this is really an improvement as it makes it very long.

  • Is it mergeable?
  • make test Did it pass the tests?
  • make coverage Is the new code covered?
  • Did it change the command-line interface? Only additions are allowed
    without a major version increment. Changing file formats also requires a
    major version number increment.
  • Was a spellchecker run on the source code and documentation after
    changes were made?

@betatim
Copy link
Contributor Author

betatim commented Apr 25, 2017

WDYT?

image

@codecov-io
Copy link

codecov-io commented Apr 25, 2017

Codecov Report

Merging #193 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #193   +/-   ##
=======================================
  Coverage   85.42%   85.42%           
=======================================
  Files          13       13           
  Lines        1894     1894           
  Branches       52       52           
=======================================
  Hits         1618     1618           
  Misses        265      265           
  Partials       11       11

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 6609b3a...1a238f5. Read the comment docs.

@luizirber
Copy link
Member

Updated via #216

@luizirber luizirber closed this May 16, 2017
@ctb ctb mentioned this pull request May 18, 2017
@ReneKat ReneKat mentioned this pull request Jan 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants