Skip to content

Commit 08d8689

Browse files
committed
Set executable bit on bin/install_latest_flint_ubuntu.sh
1 parent 27b9041 commit 08d8689

1 file changed

File tree

bin/install_latest_flint_ubuntu.sh

100644100755
File mode changed.

0 commit comments

Comments
 (0)