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

[Doc] Remove duplicates in global settings #1328

Merged
merged 1 commit into from
Jun 26, 2020

Conversation

isdanni
Copy link
Contributor

@isdanni isdanni commented Jun 25, 2020

Issue

No Related issue;

Description

Super minor typo in docs/global_settings.rst.
Noticed there's an extra . while I was updating the CN version and it kept bugging me so thought I'd remove it lol.

The last line in the following photo:

lol

[Click here for the format server]


@isdanni isdanni changed the title [Doc]Minor fix for global settings [Doc] Remove duplicates in global settings Jun 25, 2020
@codecov
Copy link

codecov bot commented Jun 25, 2020

Codecov Report

Merging #1328 into master will increase coverage by 0.08%.
The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1328      +/-   ##
==========================================
+ Coverage   66.40%   66.48%   +0.08%     
==========================================
  Files          37       37              
  Lines        5155     5156       +1     
  Branches      939      939              
==========================================
+ Hits         3423     3428       +5     
+ Misses       1568     1564       -4     
  Partials      164      164              
Impacted Files Coverage Δ
python/taichi/lang/expr.py 89.82% <100.00%> (+0.06%) ⬆️
python/taichi/lang/util.py 64.07% <0.00%> (+2.39%) ⬆️

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 13462ff...3b7dfe1. Read the comment docs.

Copy link
Collaborator

@archibate archibate left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank for pointing out!

@archibate archibate merged commit 8b7078b into taichi-dev:master Jun 26, 2020
@yuanming-hu yuanming-hu mentioned this pull request Jun 28, 2020
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.

2 participants