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: Updated section for record management #59

Merged
merged 1 commit into from
Sep 23, 2018
Merged

UserGuide.adoc: Updated section for record management #59

merged 1 commit into from
Sep 23, 2018

Conversation

iMarbles
Copy link

No description provided.

@iMarbles iMarbles added this to the v1.1 milestone Sep 23, 2018
@iMarbles iMarbles added this to To do in To-Do Tracker via automation Sep 23, 2018
@coveralls
Copy link

Pull Request Test Coverage Report for Build 33

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 92.811%
Totals Coverage Status
Change from base Build 31: 0.0%
Covered Lines: 1433
Relevant Lines: 1544
💛 - Coveralls

@Kratious
Copy link

Looks good. I like the new process

@Kratious Kratious merged commit e0345f0 into CS2103-AY1819S1-W16-2:master Sep 23, 2018
To-Do Tracker automation moved this from To do to Done Sep 23, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sharan8 sharan8 Awaiting requested review from sharan8

@Scrubbius Scrubbius Awaiting requested review from Scrubbius

Assignees
No one assigned
Labels
None yet
Projects
To-Do Tracker
  
Done
Milestone
v1.1
Development

Successfully merging this pull request may close these issues.

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