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/UPDATE.sh | |
parent | 7370ae01e978f0552f1565b88c0f44b402d09f4e (diff) |
Remove non-POSIX 'rm -v'.
Diffstat (limited to 'libs/minisat/UPDATE.sh')
0 files changed, 0 insertions, 0 deletions