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.

Sign up for GitHub

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

Jump to bottom

UserGuide.adoc: Overview and touchup #241

Merged
merged 3 commits into from
Nov 11, 2018
Merged

UserGuide.adoc: Overview and touchup #241

merged 3 commits into from
Nov 11, 2018

Conversation

iMarbles
Copy link

No description provided.

@iMarbles iMarbles added the status.Ready The PR is ready to be reviewed. note: remove this label before merging a PR. label Nov 10, 2018
@iMarbles iMarbles added this to the v1.4 milestone Nov 10, 2018
@iMarbles iMarbles added this to To do in To-Do Tracker via automation Nov 10, 2018
@coveralls
Copy link

coveralls commented Nov 10, 2018 •
edited
Loading

Coverage Status

Coverage remained the same at 66.621% when pulling 375a7f1 on iMarbles:docs-UG into fde0c44 on CS2103-AY1819S1-W16-2:master.

@Kratious Kratious merged commit 1e0168e into CS2103-AY1819S1-W16-2:master Nov 11, 2018
To-Do Tracker automation moved this from To do to Done Nov 11, 2018
@iMarbles iMarbles deleted the docs-UG branch November 12, 2018 04:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
status.Ready The PR is ready to be reviewed. note: remove this label before merging a PR.
Projects
To-Do Tracker
  
Done
Milestone
v1.4
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@iMarbles @coveralls @Kratious @AmabelYeo