diff --git a/dev_tools/populate-cc_files.php b/dev_tools/populate-cc_files.php new file mode 100644 index 000000000..9f5bbc63b --- /dev/null +++ b/dev_tools/populate-cc_files.php @@ -0,0 +1,20 @@ +