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

[PE-D] Not clear that allocate can only be done after split #202

Closed
nus-se-bot opened this issue Oct 30, 2021 · 0 comments · Fixed by #216
Closed

[PE-D] Not clear that allocate can only be done after split #202

nus-se-bot opened this issue Oct 30, 2021 · 0 comments · Fixed by #216
Assignees
Labels
documentation Improvements or additions to documentation priority.mid Of medium priority
Milestone

Comments

@nus-se-bot
Copy link

image.png

image.png

Not clear that using command split after allocate will undo whatever that was done with the allocate command. Perhaps include this in the User Guide.


Labels: type.DocumentationBug severity.Low
original: sueann-chua/ped#6

@YoYoCiti YoYoCiti added this to the v1.4 milestone Oct 30, 2021
@tsinyee tsinyee added documentation Improvements or additions to documentation priority.mid Of medium priority labels Oct 30, 2021
@Shruthi0310 Shruthi0310 self-assigned this Oct 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation priority.mid Of medium priority
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants