From e0c88039b6d88b03a91dec34d69b2d776860135d Mon Sep 17 00:00:00 2001 From: Peter Kokot Date: Sat, 6 Oct 2018 21:39:29 +0200 Subject: [PATCH] Move some scripts from root directory to scripts/dev/ At the time of this commit, there is a dedicated folder for development related tools and such scripts might fit better there to not bloat the project root directory too much. Move snapshot to scripts/dev/snapshot --- snapshot => scripts/dev/snapshot | 0 vcsclean => scripts/dev/vcsclean | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename snapshot => scripts/dev/snapshot (100%) rename vcsclean => scripts/dev/vcsclean (100%) diff --git a/snapshot b/scripts/dev/snapshot similarity index 100% rename from snapshot rename to scripts/dev/snapshot diff --git a/vcsclean b/scripts/dev/vcsclean similarity index 100% rename from vcsclean rename to scripts/dev/vcsclean