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

Update DG Headings and Subheadings #75

Merged
merged 2 commits into from
Oct 10, 2020

Conversation

eugene3231
Copy link

Improved DG table of contents:

updated DG toc

Also removed 'proposed' in the undo/redo implementation details

@eugene3231 eugene3231 added the documentation Improvements or additions to documentation label Oct 10, 2020
@codecov
Copy link

codecov bot commented Oct 10, 2020

Codecov Report

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

Impacted file tree graph

@@            Coverage Diff            @@
##             master      #75   +/-   ##
=========================================
  Coverage     72.97%   72.97%           
  Complexity      520      520           
=========================================
  Files            83       83           
  Lines          1639     1639           
  Branches        172      172           
=========================================
  Hits           1196     1196           
  Misses          393      393           
  Partials         50       50           

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 3a14835...fc9f144. Read the comment docs.

Copy link

@afroneth afroneth left a comment

Choose a reason for hiding this comment

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

LGTM!

@afroneth afroneth merged commit b592a08 into AY2021S1-CS2103T-W11-4:master Oct 10, 2020
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