Remove the env scripts that are predefined

Dibyendu Majumdar · Dibyendu Majumdar · commit c5f74c7bc641 · 2020-01-18T22:08:25.000Z
diff --git a/ravi-external-libs b/ravi-external-libs
@@ -1 +1 @@
-Subproject commit ea98135eb8dc946ff3ed9fa95699c9c69d36e5a5
+Subproject commit 722d2eec001995f0b2fd69c14f755bfca7457452
