Andrea Brancaleoni c0d740c296 texmaker: update to 5.1.2.		2021-09-05 00:09:54 +02:00
..
patches	…
template	…
update	…