[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master updated (efd2274e1f -> 1b81b23c3d)
|
From: |
Gavin D. Smith |
|
Subject: |
master updated (efd2274e1f -> 1b81b23c3d) |
|
Date: |
Fri, 3 Jun 2022 20:08:12 -0400 (EDT) |
gavin pushed a change to branch master.
from efd2274e1f * doc/texinfo.texi (HTML Translation): Edit and trim.
new 740ebd89dd texi2any --html performance improvement
new f4865d2d6b texi2any --html performance improvement
new 1b81b23c3d texi2any --html performance improvement
Summary of changes:
ChangeLog | 28 ++++++++++++++++++++++++++++
tp/Texinfo/Convert/HTML.pm | 40 +++++++++++++++++++++++-----------------
2 files changed, 51 insertions(+), 17 deletions(-)
- master updated (efd2274e1f -> 1b81b23c3d),
Gavin D. Smith <=