diff --git a/dev-db b/dev/dev-db similarity index 100% rename from dev-db rename to dev/dev-db diff --git a/dev/make-release b/dev/make-release index dfab16451..ebd931a3b 100755 --- a/dev/make-release +++ b/dev/make-release @@ -33,7 +33,6 @@ foreach my $d (qw{ clients/chrome lib old - dev-db }) { system("git", "rm", "-r", $d) and die "Failed to git rm -r $d"; }