remove unused files

robertluo · Jul 25, 2019 · 1d3ed21 · 1d3ed21
1 parent 3eeda78
commit 1d3ed21
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 38 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,4 +6,9 @@ obj/
 build/
 packages/
 paket-files/
-.paket/
+.paket/
+.vscode/
+
+#these files are generated, I don't want to encourage users to use them
+build.sh
+build.cmd
diff --git a/.vscode/launch.json b/.vscode/launch.json
diff --git a/build.cmd b/build.cmd
diff --git a/build.sh b/build.sh