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

Remove docs for now-removed mi{ceil,plug,eyecare} cli tools #1465

Merged
merged 1 commit into from
Jul 17, 2022

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.

2 participants