From afb12fe6c352867da96d3993ef12df1fec27e599 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Mar 2018 17:22:58 -0700
Subject: [PATCH] move script

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 vsts.cmd => scripts/vsts.cmd | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename vsts.cmd => scripts/vsts.cmd (100%)

diff --git a/vsts.cmd b/scripts/vsts.cmd
similarity index 100%
rename from vsts.cmd
rename to scripts/vsts.cmd