[patch] file.diff
file.diff (text/plain), 856 bytes, created by Sergey N. Voronkov on 2004-08-09 04:40:03 UTC
(hide)
 
Creator: Sergey N. Voronkov
Created: 2004-08-09 04:40:03 UTC
Size: 856 bytes
Actions: View | Diff
Attachments on bug 70193: 45550