removed unused BootURIResolver, left-over from the RVM

usethesource · Sep 15, 2023 · 318ea25 · 318ea25
1 parent 3c756b2
commit 318ea25
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 27 deletions.
diff --git a/src/org/rascalmpl/uri/BootURIResolver.java b/src/org/rascalmpl/uri/BootURIResolver.java
diff --git a/src/org/rascalmpl/uri/resolvers.config b/src/org/rascalmpl/uri/resolvers.config
@@ -1,11 +1,7 @@
-org.rascalmpl.uri.BootURIResolver
 org.rascalmpl.uri.file.FileURIResolver
 org.rascalmpl.uri.CompressedStreamResolver
 org.rascalmpl.uri.remote.HttpsURIResolver
 org.rascalmpl.uri.remote.HttpURIResolver
-org.rascalmpl.uri.libraries.TestModuleURIResolver
-org.rascalmpl.uri.libraries.TestTempURIResolver
-org.rascalmpl.uri.file.TempURIResolver
 org.rascalmpl.uri.StandardLibraryURIResolver
 org.rascalmpl.uri.classloaders.SystemClassloaderResolver
 org.rascalmpl.uri.jar.JarURIResolver
@@ -15,4 +11,3 @@ org.rascalmpl.uri.file.CWDURIResolver
 org.rascalmpl.uri.file.SystemPathURIResolver
 org.rascalmpl.uri.libraries.MemoryResolver
 org.rascalmpl.uri.libraries.RascalLibraryURIResolver
-org.rascalmpl.shell.ManifestURIResolver