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 DeveloperGuide search command #162

Merged
merged 2 commits into from
Apr 8, 2019

Conversation

nivenang
Copy link

@nivenang nivenang commented Apr 7, 2019

Update DeveloperGuide search command
Insert more graphics and code snippets
Update nivenang PPP

Copy link
Member

@chung-ming chung-ming left a comment

Choose a reason for hiding this comment

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

Good job, will merge it

@chung-ming chung-ming merged commit d855985 into CS2103-AY1819S2-W11-3:master Apr 8, 2019
@nivenang nivenang self-assigned this Apr 8, 2019
@nivenang nivenang added the type.Task Something that needs to be done, but not a story, bug, or an epic. label Apr 8, 2019
@nivenang nivenang added this to the v1.4 milestone Apr 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type.Task Something that needs to be done, but not a story, bug, or an epic.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants