]> granicus.if.org Git - php/commitdiff
Move some scripts from root directory to scripts/dev/
authorPeter Kokot <peterkokot@gmail.com>
Sat, 6 Oct 2018 19:39:29 +0000 (21:39 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Sat, 16 Feb 2019 15:58:48 +0000 (16:58 +0100)
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

scripts/dev/snapshot [moved from snapshot with 100% similarity]
scripts/dev/vcsclean [moved from vcsclean with 100% similarity]

similarity index 100%
rename from snapshot
rename to scripts/dev/snapshot
similarity index 100%
rename from vcsclean
rename to scripts/dev/vcsclean