From e9a383ede7f98512f0dd351697759d75ddb67eac Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 2 Nov 2016 21:18:08 +0100
Subject: [PATCH] rename to prove-node

---
 scripts/{prove => prove-node} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename scripts/{prove => prove-node} (100%)

diff --git a/scripts/prove b/scripts/prove-node
similarity index 100%
rename from scripts/prove
rename to scripts/prove-node