Update dockerfile #7

Merged
BachoSeven merged 1 commits from dev into main 2023-04-02 18:52:33 +00:00
Owner
No description provided.
BachoSeven added 1 commit 2023-04-02 18:52:29 +00:00
BachoSeven merged commit 47d920611d into main 2023-04-02 18:52:33 +00:00
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#7