Merge branch 'issue/76' into 'develop'
Issue #76: changing the name of some directories to more intuitive ones See merge request !38
Showing
scripts/curl/get.sh
deleted
100755 → 0
Please register or sign in to comment
Issue #76: changing the name of some directories to more intuitive ones See merge request !38