[patch] file.diff
file.diff (text/plain), 891 bytes, created by Sergey N. Voronkov on 2002-09-26 11:00:20 UTC
(hide)
 
Creator: Sergey N. Voronkov
Created: 2002-09-26 11:00:20 UTC
Size: 891 bytes
Actions: View | Diff
Attachments on bug 43386: 25367