3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-01 12:55:53 +00:00

minisat: Make update script executable.

This commit is contained in:
Tim 'mithro' Ansell 2017-11-24 15:37:35 +11:00
parent 34c9fbab53
commit 1b231b442c

0
libs/minisat/00_UPDATE.sh Normal file → Executable file
View file