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

Improve UG/DG based on peer reviews #140

Merged
merged 1 commit into from
Oct 25, 2020

Conversation

gsmoon97
Copy link

Unbold commands, Add colored fonts, and Fix grey line

@gsmoon97 gsmoon97 added the documentation Improvements or additions to documentation label Oct 25, 2020
@gsmoon97 gsmoon97 added this to the v1.3 milestone Oct 25, 2020
@gsmoon97 gsmoon97 self-assigned this Oct 25, 2020
@codecov
Copy link

codecov bot commented Oct 25, 2020

Codecov Report

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

Impacted file tree graph

@@            Coverage Diff            @@
##             master     #140   +/-   ##
=========================================
  Coverage     71.65%   71.65%           
  Complexity      559      559           
=========================================
  Files            86       86           
  Lines          1785     1785           
  Branches        205      205           
=========================================
  Hits           1279     1279           
  Misses          429      429           
  Partials         77       77           

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 c87272a...fc4b5ab. Read the comment docs.

Copy link

@Michaeliaaa Michaeliaaa left a comment

Choose a reason for hiding this comment

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

LGTM!

@Michaeliaaa Michaeliaaa merged commit 86bc897 into AY2021S1-CS2103T-W11-4:master Oct 25, 2020
@gsmoon97 gsmoon97 deleted the update-ugdg branch October 26, 2020 08:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants