[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUB
From: |
Phil Holmes |
Subject: |
Re: GUB |
Date: |
Mon, 9 Jul 2018 10:58:47 +0100 |
Ubuntu 14 for both. I would expect Ubuntu 16 to work but have not tried it.
--
Phil Holmes
----- Original Message -----
From: Knut Petersen
To: Phil Holmes ; David Kastrup
Cc: lilypond-devel ; Masamichi Hosoda
Sent: Monday, July 09, 2018 10:53 AM
Subject: Re: GUB
Am 09.07.2018 um 10:19 schrieb Phil Holmes:
FWIW I can accept pull requests for the GUB repo, so if anybody has a patch
that should be applied, I can get the patch into the build system.
Which version of which distribution are you using on the computer running
GUB?
Which version of the distribution did you use for the bootstrap of GUB?
Knut
- GUB, Knut Petersen, 2018/07/06
- Re: GUB, David Kastrup, 2018/07/06
- Re: GUB, Knut Petersen, 2018/07/09
- Re: GUB, Phil Holmes, 2018/07/09
- Re: GUB, Knut Petersen, 2018/07/09
- Re: GUB,
Phil Holmes <=
- Re: GUB, David Kastrup, 2018/07/09
- Re: GUB, Masamichi Hosoda, 2018/07/09
- Re: GUB, David Kastrup, 2018/07/09
- Re: GUB, David Kastrup, 2018/07/09
- Re: GUB, Knut Petersen, 2018/07/16
- Re: GUB, Knut Petersen, 2018/07/09
- Re: GUB, James Lowe, 2018/07/10
- Re: GUB, Carl Sorensen, 2018/07/09
- Re: GUB, David Kastrup, 2018/07/10
- Re: GUB, Werner LEMBERG, 2018/07/10