Commit 808ff11d2fff747078a27a479eb72d5d0f660972
2023-10-23T22:04:39
chmod
diff --git a/test/replace_lines.sh b/test/replace_lines.sh
old mode 100644
new mode 100755
diff --git a/win64/c3-0.1.7.win64/test/ic3_test b/win64/c3-0.1.7.win64/test/ic3_test
old mode 100644
new mode 100755
diff --git a/win64/configure b/win64/configure
old mode 100644
new mode 100755