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 User Guide, Developer Guide and PPP documentation and implement command shortcuts #163

Merged
merged 4 commits into from
Apr 8, 2019

Conversation

chung-ming
Copy link
Member

No description provided.

@chung-ming chung-ming added this to the v1.4 milestone Apr 8, 2019
@chung-ming chung-ming self-assigned this Apr 8, 2019
@nivenang
Copy link

nivenang commented Apr 8, 2019

Great job!

@nivenang nivenang merged commit 728a94a into CS2103-AY1819S2-W11-3:master Apr 8, 2019
@chung-ming chung-ming added the type.MinorEnhancement A minor enhancement to an existing story label Apr 14, 2019
@chung-ming chung-ming changed the title Update User Guide, Developer Guide and PPP documentation and implement command shortcuts Implement command shortcuts Apr 14, 2019
@chung-ming chung-ming changed the title Implement command shortcuts Update User Guide, Developer Guide and PPP documentation and implement command shortcuts Implement command shortcuts Apr 14, 2019
@chung-ming chung-ming changed the title Update User Guide, Developer Guide and PPP documentation and implement command shortcuts Implement command shortcuts Update User Guide, Developer Guide and PPP documentation and implement command shortcuts Apr 14, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type.MinorEnhancement A minor enhancement to an existing story
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants