3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00

marked script as executable

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-12-13 07:23:09 -08:00
parent a934c6813a
commit 85ac2f558c

0
scripts/trackall.sh Normal file → Executable file
View file