[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#62629] [PATCH] gnu: guile-pipe: Remove unused install script.
|
From: |
jgart |
|
Subject: |
[bug#62629] [PATCH] gnu: guile-pipe: Remove unused install script. |
|
Date: |
Fri, 12 May 2023 21:18:58 +0000 |
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.
Thanks for the review,
jgart