# HG changeset patch
# User wenzelm
# Date 1680171008 -7200
# Node ID 2e3c7c5571517edc8a4acd82ff929b8499de44a1
# Parent  49d38fa1478d13e64fd18c29492d387012b171d4
tuned comments;

diff -r 49d38fa1478d -r 2e3c7c557151 src/Pure/Admin/component_lipics.scala
--- a/src/Pure/Admin/component_lipics.scala	Thu Mar 30 12:03:59 2023 +0200
+++ b/src/Pure/Admin/component_lipics.scala	Thu Mar 30 12:10:08 2023 +0200
@@ -14,7 +14,7 @@
 
 
 object Component_LIPIcs {
-  /* files for document preparation */
+  /* resources */
 
   val document_files: List[Path] =
     for (name <- List("cc-by.pdf", "lipics-logo-bw.pdf", "lipics-v2021.cls"))