diff --git a/code_gen_proxy b/code_gen_proxy deleted file mode 160000 index 33789ae27..000000000 --- a/code_gen_proxy +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 33789ae2701f663b6263bda9aabf1a50ac27fa9d