diff --git a/copyright_header.txt b/misc/copyright_header.txt similarity index 100% rename from copyright_header.txt rename to misc/copyright_header.txt diff --git a/header.sh b/misc/header.sh similarity index 100% rename from header.sh rename to misc/header.sh