diff options
author | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-06-19 17:59:11 +0200 |
---|---|---|
committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-06-26 04:29:43 +0200 |
commit | a70b79651290fac3cd2032e70179cb131878cb14 (patch) | |
tree | 1dc7a42e27e27ce0a8cba2447d7e8a14e1e2fb5a /dev-java | |
parent | dev-java/jgraph: new package, add 5.12.4.2 (diff) | |
download | guru-a70b79651290fac3cd2032e70179cb131878cb14.tar.gz guru-a70b79651290fac3cd2032e70179cb131878cb14.tar.bz2 guru-a70b79651290fac3cd2032e70179cb131878cb14.zip |
sys-power/geopmd: add missing doc dependency
Closes: https://bugs.gentoo.org/852992
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Diffstat (limited to 'dev-java')
0 files changed, 0 insertions, 0 deletions