[patch] file.diff
file.diff (text/plain), 270 bytes, created by Sergey N. Voronkov on 2001-04-23 16:10:01 UTC
(hide)
 
Creator: Sergey N. Voronkov
Created: 2001-04-23 16:10:01 UTC
Size: 270 bytes
Actions: View | Diff
Attachments on bug 26796: 14261