[patch] patch with some more refinements to pet portlint and portclippy
patch-lang_scratch.diff (text/plain), 2.48 KB, created by Rainer Hurling on 2021-09-16 19:37:09 UTC
(hide)
 
Creator: Rainer Hurling
Created: 2021-09-16 19:37:09 UTC
Size: 2.48 KB
Actions: View | Diff
Attachments on bug 258521: 227925 | 227942 | 227947