Skip to content
This repository has been archived by the owner on Apr 28, 2021. It is now read-only.

[v1.4] Add Theme feature into DG #333

Merged
merged 5 commits into from Nov 11, 2019
Merged

[v1.4] Add Theme feature into DG #333

merged 5 commits into from Nov 11, 2019

Conversation

tanamaroby
Copy link

DG Update

Changes

  • Add theme feature into DG
  • Add theme feature into AliasCommand
  • Update UG on Theme command
  • Update Roby's PPP

@tanamaroby tanamaroby added update.DeveloperGuide Updates to the developer guide update.UserGuide Updates to the User Guide labels Nov 11, 2019
@tanamaroby tanamaroby added this to the v1.4 milestone Nov 11, 2019
seanlowjk
seanlowjk approved these changes Nov 11, 2019
View reviewed changes
Copy link

@seanlowjk seanlowjk left a comment

Choose a reason for hiding this comment

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

Nice Job!

@seanlowjk seanlowjk merged commit bfed0f4 into AY1920S1-CS2103T-F13-2:master Nov 11, 2019
@nus-se-bot nus-se-bot mentioned this pull request Nov 14, 2019
Open
19 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@seanlowjk seanlowjk seanlowjk approved these changes

Assignees
No one assigned
Labels
update.DeveloperGuide Updates to the developer guide update.UserGuide Updates to the User Guide
Projects
None yet
Milestone
v1.4
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@tanamaroby @seanlowjk