[patch] Patch of port Makefile
devel_root01.diff (text/plain), 841 bytes, created by Erik Jensen on 2023-10-24 15:20:02 UTC
(hide)
 
Creator: Erik Jensen
Created: 2023-10-24 15:20:02 UTC
Size: 841 bytes

Flags:

erik: maintainer-approval+
Actions: View | Diff
Attachments on bug 274696: 245849