Labels Milestones

New Pull Request

Add scritti_ro.sh and reformat readme. #4

Open

alberto wants to merge 2 commits from alberto/dm-scripts:main into main

pull from: alberto/dm-scripts:main

merge into: phc:main

phc:main

phc:removeproofs

Conversation 0 Commits 2 Files Changed 2

2 Commits (main)

Author	SHA1	Message	Date
alberto	f24b3d7f8a	Merge branch 'main' into main	6 days ago
alberto	66b1485213	Add scritti_ro.sh and reformat readme.	6 days ago