diff --git a/download_dependencies b/download_dependencies new file mode 100755 index 0000000000000000000000000000000000000000..0243908e864a56c5e44188ccadaccf3eefc7ba5a --- /dev/null +++ b/download_dependencies @@ -0,0 +1,2 @@ +git submodule init +git submodule update