[patch] ports makefile patch
ports.patch (text/plain), 665 bytes, created by Wolfram Schneider on 2017-12-19 17:17:27 UTC
(hide)
 
Creator: Wolfram Schneider
Created: 2017-12-19 17:17:27 UTC
Size: 665 bytes
Actions: View | Diff
Attachments on bug 224465: 188974