[patch] Makefile.inc1 - introduction of USEKERNNAME
Makefile.inc1.diff (text/plain), 1.89 KB, created by Lorenzo Salvadore on 2019-03-20 10:57:54 UTC
(hide)
 
Creator: Lorenzo Salvadore
Created: 2019-03-20 10:57:54 UTC
Size: 1.89 KB
Actions: View | Diff
Attachments on bug 236658: 202999 | 203007