[patch] patch to add an option to Makefile
Makefile.patch (text/plain), 268 bytes, created by Alexander Pravkin on 2019-01-27 11:09:15 UTC
(hide)
 
Creator: Alexander Pravkin
Created: 2019-01-27 11:09:15 UTC
Size: 268 bytes
Actions: View | Diff
Attachments on bug 235236: 201436 | 201437 | 201439 | 201440 | 201484