Compare commits

merge into: alberto/dm-scripts:main

Branches Tags

alberto/dm-scripts:main alberto/dm-scripts:removeproofs phc/dm-scripts:main phc/dm-scripts:removeproofs

...

pull from: phc/dm-scripts:main

Branches Tags

phc/dm-scripts:main phc/dm-scripts:removeproofs alberto/dm-scripts:main alberto/dm-scripts:removeproofs

1 Commits

main ... main

Author	SHA1	Message	Date
BachoSeven	0053e5ee1d	Merge pull request 'Add scritti_ro.sh and reformat readme.' (#4) from alberto/dm-scripts:main into main ... Reviewed-on: phc/dm-scripts#4	2026-09-30 09:39:57 +00:00

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Expand all files Collapse all files

Diff Content Not Available