chore: fix wording #13

Closed
BachoSeven wants to merge 0 commits from dev into main
Owner
No description provided.
BachoSeven closed this pull request 2024-02-16 00:12:25 +00:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: phc/problemi#13