phc/dm-scripts
7
5
Fork 2
Code Issues Pull Requests Projects Releases Wiki Activity

removeproofs script #2

Merged
aziis98 merged 1 commits from removeproofs into main 2024-01-13 15:03:41 +00:00
Conversation 0 Commits 1 Files Changed 2
+30 -4
aziis98 commented 2024-01-13 15:03:05 +00:00
Owner
Copy Link
Copy Source

Uao

Uao
aziis98 added 1 commit 2024-01-13 15:03:06 +00:00
removeproofs script d8f480b83d
aziis98 merged commit 3797119bb5 into main 2024-01-13 15:03:40 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
BachoSeven (Francesco Minnocci) DottorMaelstrom Fran314 Kratacoa (Illya Serdyuk) aziis98 (Antonio De Lucreziis) lukefleed (Luca Lombardo)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: phc/dm-scripts#2