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

DeveloperGuide.adoc: Updates #245

Merged
merged 3 commits into from
Nov 11, 2018
Merged

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

Coverage Status

Coverage increased (+0.6%) to 67.259% when pulling 1166427 on iMarbles:docs-DG into fde0c44 on CS2103-AY1819S1-W16-2:master.

@iMarbles iMarbles added status.Ongoing The issue is currently being worked on. note: remove this label before closing an issue. and removed status.Ready The PR is ready to be reviewed. note: remove this label before merging a PR. labels Nov 11, 2018
@Kratious Kratious added status.Ready The PR is ready to be reviewed. note: remove this label before merging a PR. and removed status.Ongoing The issue is currently being worked on. note: remove this label before closing an issue. labels Nov 11, 2018
@Kratious Kratious merged commit 34c1b53 into CS2103-AY1819S1-W16-2:master Nov 11, 2018
To-Do Tracker automation moved this from To do to Done Nov 11, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status.Ready The PR is ready to be reviewed. note: remove this label before merging a PR.
Projects
To-Do Tracker
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

4 participants