[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62629: [PATCH] gnu: guile-pipe: Remove unused install script.
From: |
Josselin Poiret |
Subject: |
bug#62629: [PATCH] gnu: guile-pipe: Remove unused install script. |
Date: |
Sat, 13 May 2023 09:39:42 +0200 |
Hi jgart,
"jgart" <jgart@dismail.de> writes:
> Hi Josselin,
>
> I checked that it doesn't end up in the output. Yes, this is unnecessary.
>
> I'll give a closer read to guile-build-system to remind myself of the glob
> patterns that it matches on for copying to the output.
Closing then!
Best
--
Josselin Poiret
signature.asc
Description: PGP signature