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

Add documentation for command history feature #164

Closed
aureliony opened this issue Mar 29, 2024 · 0 comments · Fixed by #159
Closed

Add documentation for command history feature #164

aureliony opened this issue Mar 29, 2024 · 0 comments · Fixed by #159
Assignees
@aureliony
Labels
priority.High Must do type.Task Something that needs to be done, but not a story, bug, or an epic
Milestone
v1.4

Comments

@aureliony
Copy link

aureliony commented Mar 29, 2024 •
edited

Update the DG for the command history feature.
@aureliony aureliony added this to the v1.4 milestone Mar 29, 2024
@aureliony aureliony self-assigned this Mar 29, 2024
@aureliony aureliony added priority.High Must do type.Task Something that needs to be done, but not a story, bug, or an epic labels Mar 29, 2024
@aureliony aureliony linked a pull request Apr 14, 2024 that will close this issue
Update DG for v1.4 release #159
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aureliony aureliony

Labels
priority.High Must do type.Task Something that needs to be done, but not a story, bug, or an epic
Projects
None yet
Milestone
v1.4
Development

Successfully merging a pull request may close this issue.

Update DG for v1.4 release AY2324S2-CS2103T-W12-3/tp
1 participant
@aureliony