Moving Marvin to a marvin folder

daveaglick · daveaglick · commit 774af3384c6f · 2022-02-14T17:44:10.000-05:00
diff --git a/.gitignore b/.gitignore
@@ -295,4 +295,4 @@ tests/repos/net5.0
 tests/repos/net6.0
 tests/repos/netcoreapp3.1
 
-build/
+marvin/
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "build"]
-	path = build
+[submodule "marvin"]
+	path = marvin
 	url = https://github.com/daveaglick/Marvin.git
diff --git a/build b/build
diff --git a/marvin b/marvin
@@ -0,0 +1 @@
+Subproject commit fe18d3593e54608d476ee65f5be5d582e325daa3
diff --git a/marvin.cmd b/marvin.cmd
@@ -1,5 +1,5 @@
 @echo off
-cd "build"
+cd "marvin"
 dotnet run -- %*
 set exitcode=%errorlevel%
 cd %~dp0
