[patch] patch texmaker 5.0.3
texmaker-5.0.3.diff (text/plain), 9.07 KB, created by Max Brazhnikov on 2019-06-21 18:41:42 UTC
(hide)
 
Creator: Max Brazhnikov
Created: 2019-06-21 18:41:42 UTC
Size: 9.07 KB
Actions: View | Diff
Attachments on bug 238752: 205268