New generalized launcher

2026-10-07 18:43:31 +02:00 · 2009-09-26 02:18:04 -04:00
parent 76e81409df
commit 56e96c3f49
29 changed files with 851 additions and 500 deletions
@@ -1,5 +1,11 @@
 package xsbti;
+
+import java.io.File;
+
 public interface Reboot extends MainResult
 {
 	public String[] arguments();
+	public File baseDirectory();
+	public String scalaVersion();
+	public ApplicationID app();
 }