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

Compare commits

merge into: phc:main
Branches Tags
phc:main
phc:removeproofs
alberto:main
alberto:removeproofs
...
pull from: alberto:main
Branches Tags
alberto:main
alberto:removeproofs
phc:main
phc:removeproofs
A pull request between these branches already exists: phc/dm-scripts#4

Add scritti_ro.sh and reformat readme. #4

View Pull Request