|
Manifest
|
dev-tex/texlab: drop 5.12.4
|
2024-03-16 12:09:52 +02:00 |
|
metadata.xml
|
dev-tex/texlab: add wiki to metadata
|
2023-10-02 08:31:49 +03:00 |
|
texlab-5.13.1.ebuild
|
dev-tex/texlab: add 5.13.1
|
2024-03-16 11:43:40 +02:00 |
|
texlab-5.13.0.ebuild
|
dev-tex/texlab: add 5.13.0
|
2024-03-11 04:48:58 +02:00 |
