Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@rytilahti
Copy link
Owner

These commands were removed already in #1130, this PR removes the dangling documentation.

@codecov-commenter
Copy link

codecov-commenter commented Jul 17, 2022

Codecov Report

Merging #1465 (b9acbd2) into master (32d41ce) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1465   +/-   ##
=======================================
  Coverage   82.80%   82.80%           
=======================================
  Files         140      140           
  Lines       13813    13813           
  Branches     1553     1553           
=======================================
  Hits        11438    11438           
  Misses       2156     2156           
  Partials      219      219           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@rytilahti rytilahti merged commit 5321c58 into master Jul 17, 2022
@rytilahti rytilahti deleted the janitor/remove_docs_for_deprecated_cli_tools branch July 17, 2022 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants