unused;

--- a/src/Pure/General/file.scala	Tue Jan 14 16:03:31 2020 +0100
+++ b/src/Pure/General/file.scala	Wed Jan 15 13:22:16 2020 +0100
@@ -118,9 +118,6 @@
     else None
   }
 
-  def rebase_path(base: Path, other: Path): Option[Path] =
-    relative_path(base, other).map(base + _)
-
 
   /* bash path */