From f0675327c8226c4fab32c43fd367931530b5266c Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Sun, 15 Apr 2018 11:30:01 +0200 Subject: [PATCH] [bootstrap] better name and location I don't want this on my PATH, since it will typically be run only once for a machine. --- bin/setup.sh => resources/bootstrap | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bin/setup.sh => resources/bootstrap (100%) diff --git a/bin/setup.sh b/resources/bootstrap similarity index 100% rename from bin/setup.sh rename to resources/bootstrap