[patch] wxmaxima - 19.08.1
wxmaxima.diff (text/plain), 3.20 KB, created by Lorenzo Salvadore on 2019-08-18 15:06:18 UTC
(hide)
 
Creator: Lorenzo Salvadore
Created: 2019-08-18 15:06:18 UTC
Size: 3.20 KB

Flags:

salvadore: maintainer-approval+
Actions: View | Diff
Attachments on bug 239885: 206588 | 206661