Andrea Brancaleoni 90d6ccfcef texmaker: update to 5.1.3.		2022-05-09 20:14:24 +02:00
..
patches	…
template	…
update	…