diff options
author | Anthony J. Bentley <anthony@cathet.us> | 2014-04-04 16:39:03 -0600 |
---|---|---|
committer | Anthony J. Bentley <anthony@cathet.us> | 2014-04-04 16:39:03 -0600 |
commit | b950197da1e0a53c7d220dd666ff3afbb61a1f18 (patch) | |
tree | 741cd41b2da9c64eeb863e5e43a13b0ccb6b7438 /libs/minisat | |
parent | 7370ae01e978f0552f1565b88c0f44b402d09f4e (diff) | |
download | yosys-b950197da1e0a53c7d220dd666ff3afbb61a1f18.tar.gz yosys-b950197da1e0a53c7d220dd666ff3afbb61a1f18.tar.bz2 yosys-b950197da1e0a53c7d220dd666ff3afbb61a1f18.zip |
Remove non-POSIX 'rm -v'.
Diffstat (limited to 'libs/minisat')
0 files changed, 0 insertions, 0 deletions