# HG changeset patch
# User wenzelm
# Date 1660811768 -7200
# Node ID c3d57eeff21d6401bdcdace5eb70ca624a49595c
# Parent  e6f0e4d5c62594c1abbc89627c33926b5b98c071
unused;

diff -r e6f0e4d5c625 -r c3d57eeff21d src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 19:52:41 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Thu Aug 18 10:36:08 2022 +0200
@@ -423,8 +423,6 @@
     def enabled: Boolean
     def enabled(info: Sessions.Info): Boolean = enabled || info.browser_info
     def dir(store: Sessions.Store): Path = store.presentation_dir
-    def dir(store: Sessions.Store, info: Sessions.Info): Path =
-      dir(store) + Path.explode(info.chapter_session)
   }