Tim Biermann 435a25b79c texlab: 5.18.0 -> 5.19.0		2024-07-08 21:31:45 +02:00
..
.footprint
.signature	texlab: 5.18.0 -> 5.19.0	2024-07-08 21:31:45 +02:00
Pkgfile	texlab: 5.18.0 -> 5.19.0	2024-07-08 21:31:45 +02:00