[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make output of texinfo index deterministic
|
From: |
Norbert Preining |
|
Subject: |
Re: Make output of texinfo index deterministic |
|
Date: |
Mon, 6 Jul 2015 08:16:35 +0900 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
> I committed a fix.
Thanks Patrice!
Norbert
------------------------------------------------------------------------
PREINING, Norbert http://www.preining.info
JAIST, Japan TeX Live & Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
------------------------------------------------------------------------