src/Pure/Admin/component_solr.scala
Sun, 12 Jan 2025 13:42:01 +0100 wenzelm misc tuning;
Sat, 11 Jan 2025 23:17:08 +0100 wenzelm suppress duplicate slf4j-api --- already provided by sqlite;
Sat, 11 Jan 2025 22:18:47 +0100 wenzelm clarified solr settings;
Sat, 11 Jan 2025 21:51:06 +0100 wenzelm activate admin tools;
less more (0) tip