make rivet.sh non executable

This commit is contained in:
Alessandro Mauri 2020-09-10 16:40:08 +02:00
parent 4558654a48
commit 8e48ec1f92

0
rivet.sh Executable file → Normal file
View File