Andrea Brancaleoni 1f2305361a texmaker: update to 5.0.2.		2017-08-14 10:50:38 +02:00
..
patches
template	texmaker: update to 5.0.2.	2017-08-14 10:50:38 +02:00
update