| commit | 767be2c269447d4c5663b7f12d473e71c8e86739 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Aug 05 22:41:59 2020 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Aug 05 22:46:18 2020 +0200 |
| tree | 01c0cf2015df25f858e9d83d48c62574975329e4 | |
| parent | 988bff760454eb73fd93318c636dcf531d17f46e [diff] |
Bug 560686: [Tex-Source] Adapt to changed TextParserInput Change-Id: Id67455cb42361d1c677c5bc73b34678a0a56b421