[patch] patch
nauty.patch (text/plain), 4.88 KB, created by Yuri Victorovich on 2021-06-09 21:50:36 UTC
(hide)
 
Creator: Yuri Victorovich
Created: 2021-06-09 21:50:36 UTC
Size: 4.88 KB
Actions: View | Diff
Attachments on bug 256516: 225675 | 225676 | 225680