On 2019-05-24, Kornel Benko wrote:
> [-- Type: text/plain, Encoding: quoted-printable --]
> Am Freitag, 24. Mai 2019, 15:49:07 CEST schrieb Guenter Milde:
>> On 2019-05-24, Jean-Marc Lasgouttes wrote:
>> > Le 20/05/2019 à 15:38, Pavel Sanda a écrit :
>> >> On Mon, May 20, 2019 at 12:10:24PM -
Am Freitag, 24. Mai 2019, 15:49:07 CEST schrieb Guenter Milde:
> On 2019-05-24, Jean-Marc Lasgouttes wrote:
> > Le 20/05/2019 à 15:38, Pavel Sanda a écrit :
> >> On Mon, May 20, 2019 at 12:10:24PM -, Guenter Milde wrote:
> > but I wonder: shouldn't we just drop the makefile and
> > stop
On 2019-05-24, Jean-Marc Lasgouttes wrote:
> Le 20/05/2019 à 15:38, Pavel Sanda a écrit :
>> On Mon, May 20, 2019 at 12:10:24PM -, Guenter Milde wrote:
> but I wonder: shouldn't we just drop the makefile and
> stop this very partial distribution that makes no sense?
>>> This is my sugg
Le 20/05/2019 à 15:38, Pavel Sanda a écrit :
On Mon, May 20, 2019 at 12:10:24PM -, Guenter Milde wrote:
but I wonder: shouldn't we just drop the makefile and
stop this very partial distribution that makes no sense?
This is my suggestion.
I agree, these are primarily dev tools. Pavel
Bu
On Mon, May 20, 2019 at 12:10:24PM -, Guenter Milde wrote:
> >> but I wonder: shouldn't we just drop the makefile and
> >> stop this very partial distribution that makes no sense?
>
> This is my suggestion.
I agree, these are primarily dev tools. Pavel
On 2019-05-20, Kornel Benko wrote:
> Am Montag, 20. Mai 2019, 12:20:11 CEST schrieb Jean-Marc Lasgouttes:
>> Le 19/05/2019 à 08:45, Jürgen Spitzmüller a écrit :
>> > Am Freitag, den 17.05.2019, 20:47 +0200 schrieb Günter Milde:
>> >> commit 05877e0e6019144e5f484ca52e89113ae37843a1
>> >> Author: Gün
Am Montag, 20. Mai 2019, 12:20:11 CEST schrieb Jean-Marc Lasgouttes:
> Le 19/05/2019 à 08:45, Jürgen Spitzmüller a écrit :
> > Am Freitag, den 17.05.2019, 20:47 +0200 schrieb Günter Milde:
> >> commit 05877e0e6019144e5f484ca52e89113ae37843a1
> >> Author: Günter Milde
> >> Date: Fri May 17 14:03:
Le 19/05/2019 à 08:45, Jürgen Spitzmüller a écrit :
Am Freitag, den 17.05.2019, 20:47 +0200 schrieb Günter Milde:
commit 05877e0e6019144e5f484ca52e89113ae37843a1
Author: Günter Milde
Date: Fri May 17 14:03:28 2019 +0200
ctests: sort dedicated test samples
Makefile change is missing.
Am Freitag, den 17.05.2019, 20:47 +0200 schrieb Günter Milde:
> commit 05877e0e6019144e5f484ca52e89113ae37843a1
> Author: Günter Milde
> Date: Fri May 17 14:03:28 2019 +0200
>
> ctests: sort dedicated test samples
Makefile change is missing.
Jürgen
>
> autotests/export/latex/001-4-lati
