Remove the env scripts that are predefined

Dibyendu Majumdar · Dibyendu Majumdar · commit 1e697a5faa44 · 2020-01-18T21:52:05.000Z
diff --git a/ravi-external-libs b/ravi-external-libs
@@ -1 +1 @@
-Subproject commit ef0151f78ebeca939c2d110ec7dfacef2d59d680
+Subproject commit ea98135eb8dc946ff3ed9fa95699c9c69d36e5a5
