Information for file /usr/share/javadoc/jdom/org/jdom

Name/usr/share/javadoc/jdom/org/jdom
Digest (sha256)
Size0.00 B
Modification timeSun, 19 Jun 2022 13:36:29 CST
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMjdom-javadoc-1.1.3-19.module+oc8.5.0+73+10426fc9.noarch.rpm