|
Manifest
|
dev-tex/texlab: drop 5.9.0, 5.9.1, 5.9.2
|
2023-10-11 02:24:17 +03:00 |
|
metadata.xml
|
dev-tex/texlab: add wiki to metadata
|
2023-10-02 08:31:49 +03:00 |
|
texlab-5.10.0.ebuild
|
dev-tex/texlab: add 5.10.0
|
2023-10-02 07:23:45 +03:00 |
|
texlab-5.10.1.ebuild
|
dev-tex/texlab: add 5.10.1
|
2023-10-11 02:20:14 +03:00 |
