diff --git a/bin/gen_rdata.php b/bin/gen_rdata.php deleted file mode 100644 index d1013b58..00000000 --- a/bin/gen_rdata.php +++ /dev/null @@ -1,42 +0,0 @@ - $v) { - if (isset($ignore_constants[$k])) { - unset($constants[$k]); - } -} - -dumpVar($outDir . 'constants.php', $constants); diff --git a/bin/ignore_constants.php b/bin/ignore_constants.php deleted file mode 100644 index 8b658c77..00000000 --- a/bin/ignore_constants.php +++ /dev/null @@ -1,40 +0,0 @@ -