commit e9a383ede7f98512f0dd351697759d75ddb67eac parent db9177bb17b508ef4a6fa1d0707d3297fbd66c56 Author: Florian Dold <florian.dold@gmail.com> Date: Wed, 2 Nov 2016 21:18:08 +0100 rename to prove-node Diffstat:
| R | scripts/prove -> scripts/prove-node | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/scripts/prove b/scripts/prove-node