added java.home scripts

thomaswoehlke · thomaswoehlke · commit 8d91af6b9d14 · 2020-04-04T17:13:27.000+02:00
diff --git a/etc/set_java13.cmd b/etc/set_java13.cmd
@@ -0,0 +1,2 @@
+subst /D J:
+subst J: "C:\Program Files\Java\jdk-13.0.2"
diff --git a/etc/set_java1_8.cmd b/etc/set_java1_8.cmd
@@ -0,0 +1,2 @@
+subst /D J:
+subst J: "C:\Program Files\Java\jdk1.8.0_241"

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+subst /D J:`
	`2`	`+subst J: "C:\Program Files\Java\jdk-13.0.2"`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+subst /D J:`
	`2`	`+subst J: "C:\Program Files\Java\jdk1.8.0_241"`