Tim Biermann 4a7c9ceaad texlab: 5.12.1 -> 5.12.2		2024-01-20 12:15:06 +01:00
..
.footprint
.signature	texlab: 5.12.1 -> 5.12.2	2024-01-20 12:15:06 +01:00
Pkgfile	texlab: 5.12.1 -> 5.12.2	2024-01-20 12:15:06 +01:00