|
Manifest
|
dev-tex/texlab: drop 5.10.0, 5.10.1
|
2023-12-03 18:02:12 +02:00 |
|
metadata.xml
|
dev-tex/texlab: add wiki to metadata
|
2023-10-02 08:31:49 +03:00 |
|
texlab-5.11.0.ebuild
|
dev-tex/texlab: add 5.11.0
|
2023-11-07 19:17:38 +02:00 |
|
texlab-5.12.0.ebuild
|
dev-tex/texlab: add 5.12.0
|
2023-12-03 18:01:26 +02:00 |
