Information for file /usr/share/doc/mame-doc/tools/othertools.html
| Name | /usr/share/doc/mame-doc/tools/othertools.html |
|---|---|
| Digest (sha256) | 72e4c021ece65e2a99cf541d25b2365fe0008a7ca29f6b2c6346ad8daad11025 |
| Size | 10.43 KB |
| Modification time | Wed, 14 Aug 2019 03:58:37 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | mame-doc-0.212-1.fc31.noarch.rpm |
