Closed GoogleCodeExporter closed 9 years ago
oDn't worry texmaker is totally independent from any company or system
Original comment by pa.brac...@gmail.com
on 2 Jul 2015 at 1:21
Yes, sure, I was just wondering where I should go to file issues in the future
;-)
Original comment by matthis....@gmail.com
on 2 Jul 2015 at 1:26
Original issue reported on code.google.com by
matthis....@gmail.com
on 2 Jul 2015 at 11:33