diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-04-03 04:28:03 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-04-03 04:49:04 +0200 |
| commit | c8382a413cd91c1f28283ae1c168111a3766f47e (patch) | |
| tree | 388fa38f0ecb63acf4d08909ecd8ac935283f9ff /dev-java/dom4j | |
| parent | package.mask: Unmask dev-python/picobox (diff) | |
| download | gentoo-c8382a413cd91c1f28283ae1c168111a3766f47e.tar.gz gentoo-c8382a413cd91c1f28283ae1c168111a3766f47e.tar.bz2 gentoo-c8382a413cd91c1f28283ae1c168111a3766f47e.zip | |
dev-python/python-lsp-server: Bump to 1.7.2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-java/dom4j')
0 files changed, 0 insertions, 0 deletions