Commit e5e919c4caa1610464f0b55d22e7aefec33b547e

Thomas de Grivel 2023-10-23T22:04:39

chmod

1
2
3
4
5
6
7
8
9
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