diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-09-23 15:08:38 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-09-23 15:08:38 +0000 |
| commit | ceac7b941fc2dbe46608703a073b9967a794b191 (patch) | |
| tree | b6d208b52f6bf6f62ed23d0879d4bf3338e4b48d /math/z3/files/patch-scripts_mk__util.py | |
| parent | Update to v5.23.3-7-ge120c24 (diff) | |
- Fix shebangs
Approved by: portmgr blanket
Diffstat (limited to 'math/z3/files/patch-scripts_mk__util.py')
0 files changed, 0 insertions, 0 deletions