Information for file /usr/share/javadoc/jdom/org/jdom/DocType.html

Name/usr/share/javadoc/jdom/org/jdom/DocType.html
Digest (sha256)7305970b9d32d03523e56fd373faf3545791ae0dfd90d28229f240a410eed89c
Size27.45 KB
Modification timeSun, 26 Feb 2012 07:30:45 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMjdom-javadoc-1.1.3-31.module+oc8.6.0+415+b0b169e6.noarch.rpm