From 03ba42f757e9d4a9e1bc03e16d604c76498a1483 Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Fri, 26 Jun 2020 01:51:41 -0700
Subject: [PATCH] reducing unnecessary files

---
 .gitignore          |  2 ++
 .vscode/launch.json | 16 ----------------
 results-dev         |  1 -
 3 files changed, 2 insertions(+), 17 deletions(-)
 delete mode 100644 .vscode/launch.json
 delete mode 120000 results-dev

diff --git a/.gitignore b/.gitignore
index b99d288..b2df280 100644
--- a/.gitignore
+++ b/.gitignore
@@ -120,3 +120,5 @@ dmypy.json
 results/
 MUJOCO_LOG.TXT
 test.py
+.vscode/
+results-dev
\ No newline at end of file
diff --git a/.vscode/launch.json b/.vscode/launch.json
deleted file mode 100644
index c0a161f..0000000
--- a/.vscode/launch.json
+++ /dev/null
@@ -1,16 +0,0 @@
-{
-    // Use IntelliSense to learn about possible attributes.
-    // Hover to view descriptions of existing attributes.
-    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
-    "version": "0.2.0",
-    "configurations": [
-        {
-            "name": "Python: Current File",
-            "type": "python",
-            "request": "launch",
-            "program": "${file}",
-            "console": "integratedTerminal",
-            "args": ["--env", "walker-walk", "--id" "benchmark", "--action-repeat", "2", "--collect-interval", "2"],
-        }
-    ]
-}
\ No newline at end of file
diff --git a/results-dev b/results-dev
deleted file mode 120000
index e4b781a..0000000
--- a/results-dev
+++ /dev/null
@@ -1 +0,0 @@
-/u/small/urakamiy/logs/planet
\ No newline at end of file