From noreply at github.com Wed Jun 15 12:44:47 2022 From: noreply at github.com (Takuto ASAKURA) Date: Wed, 15 Jun 2022 03:44:47 -0700 Subject: [texdoc-commits] [TeX-Live/texdoc] a27708: now latex-lab also exists in the main latex tree Message-ID: Branch: refs/heads/master Home: https://github.com/TeX-Live/texdoc Commit: a27708f201ce4216edf7308d9a92ecdb005b294f https://github.com/TeX-Live/texdoc/commit/a27708f201ce4216edf7308d9a92ecdb005b294f Author: Takuto ASAKURA Date: 2022-06-15 (Wed, 15 Jun 2022) Changed paths: M texdoc.cnf Log Message: ----------- now latex-lab also exists in the main latex tree