[patch] The patch.
drjava-20140826.r5761.diff (text/plain), 872 bytes, created by Sergey Brunov on 2015-08-19 13:49:35 UTC
(hide)
 
Creator: Sergey Brunov
Created: 2015-08-19 13:49:35 UTC
Size: 872 bytes
Actions: View | Diff
Attachments on bug 202481: 160102