[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUB - today's problem
|
From: |
Phil Holmes |
|
Subject: |
Re: GUB - today's problem |
|
Date: |
Sun, 26 Jul 2020 12:05:45 +0100 |
I did not start completely from scratch. I deleted /uploads and ran the
rm -rf as documented in the CG. Do you have a recipe for a complete fresh
build (other than be prepared for a decent wait..)
--
Phil Holmes
----- Original Message -----
From: "Jonas Hahnfeld" <hahnjo@hahnjo.de>
To: "Phil Holmes" <email@philholmes.net>; "Devel" <lilypond-devel@gnu.org>
Sent: Sunday, July 26, 2020 11:52 AM
Subject: Re: GUB - today's problem