Information for file /usr/share/javadoc/jgoodies-animation/com/jgoodies/animation/Animator.html
Name | /usr/share/javadoc/jgoodies-animation/com/jgoodies/animation/Animator.html |
---|---|
Digest (sha256) | 3197a26db161c8d8f9b52b60fc67c9717f8e53fef561ef9501bcda0588c1c61a |
Size | 18.19 KB |
Modification time | Sat, 14 Jul 2018 04:00:36 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | jgoodies-animation-javadoc-1.4.3-7.fc29.noarch.rpm |