diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-11-02 21:18:08 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-11-02 21:18:08 +0100 |
| commit | e9a383ede7f98512f0dd351697759d75ddb67eac (patch) | |
| tree | 77375037a62a26fea5dafa49775bef0ee52de580 /scripts | |
| parent | db9177bb17b508ef4a6fa1d0707d3297fbd66c56 (diff) | |
rename to prove-node
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/prove-node (renamed from scripts/prove) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/prove b/scripts/prove-node index de9c8931a..de9c8931a 100755 --- a/scripts/prove +++ b/scripts/prove-node |